同じことでしょ?それとも少し違いがありますか?誤解していないことを確認したいだけです。
7 に答える
ブールデュアルは、ANDをORに、ORをANDに置き換えるだけで生成されます。補集合自体は影響を受けませんが、式の補集合は変数の否定であり、ANDをORに置き換え、その逆も同様です。
検討:
A+B
補体:A'B'
デュアル:AB
「アイデンティティの二重性はアイデンティティでもあります。これは二重性の原則と呼ばれます」。ブールIDはX+0=XまたはX+X=Xです。それらはたくさんあります。デュアルはIDでのみ機能します。デュアルを見つけるには、演算子(+&。)を切り替え、単位元(0と1がある場合は0&1)を切り替えて、X + 0=XをX.1=Xに変更し、X + X=Xを変更します。 XX = Xに変更すると、これも有効な新しいIDが作成されます。X'Y +XY'=1のような任意の式からDualを作成する意味はありません。補数は、f1(x、y)= X'Y + XY'のような任意の式に依存し、その補数はf2(x、y)=(X + Y')。(X' + Y)になります。値をf1(x、y)にプラグインすると、同じ値をf2(x、y)にプラグインした場合、まったく逆の結果が得られます。
関数f={a、c'、h'、i'、l、l、e、s、1、0}と仮定します。
f補集合はf={a'、c、h、i、l'、l'、e'、s'、0、1}になります
f双対性はf={a、c'、h'、i'、l、l、e、s、0、1}になります。注:双対性リテラルの場合はそのままになります。ORゲートのみがANDゲートに置き換えられ、その逆も同様です。1は0に置き換えられ、その逆も同様です。
ただし、ゲートと値とともに補完する場合は、リテラルが補完されます。
ここに完全な例:x'+y'の褒め言葉を取得したい場合
補完は言う:(x')'。(y')'
二元性は言う:xy
双対性では、ANDはOR演算子に置き換えられ、ORはAND演算子に置き換えられますが、補数は同じままです。補数ANDまたはORに置き換えられると、ORはANDに置き換えられ、補数も変更されます。
すでに言われていることに加えて。
1の双対は0であり、その逆も同様であることに注意することも重要です。これは、補数演算と同様です。
例:x + 1 = 1
デュアルは:x.0 = 0
デュアルを見つける際に、
- ANDとOR、およびその逆
- 0と1、およびその逆
補数を見つけるには、上記の2つに加えて、置き換える必要があります
AとA'、およびその逆(つまり、変数とその補数)
実際には、双対性は1と0、および(ANDとOR)を交換することによって得られますが、補足として、xの場合に可変である別の1つの問題がこの変更に含まれ、xバーの例f =(x + y)dual of fは=xyですが、補数= x(bar).y(bar)