同じことですか?それともわずかな違いがありますか?誤解しないようにしたいだけです。
ブール双対は、ANDをORに、ORをANDに置き換えるだけで生成されます。補数自体は影響を受けません。式の補数は、ANDをORに、またはその逆に置換した変数の否定です。
考慮してください:
A+B
補数:A'B'
デュアル:AB
「アイデンティティの二重はアイデンティティでもあります。これは、二重性原理と呼ばれます」。ブールIDは、X + 0 = XまたはX + X = Xです。それらはたくさんあります。デュアルはIDでのみ機能します。 Dualを見つけるには、演算子(+&。)を切り替え、アイデンティティ要素(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)です同じ値がf2(x、y)にプラグインされている場合、値をf1(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 ')'
二元性は言う:x.y
二重性では、ANDはOR演算子で置き換えられ、ORはAND演算子で置き換えられますが、補数は同じままです。補数ANDまたはOR、ORで置き換えられますANDに置き換えられ、補数も変更されます。
二重を見つけることで、我々は置き換えます
補完を見つけるには、上記の2つに加えて、
AとA 'およびその逆(つまり、補数を持つ変数)
すでに述べたことに加えて。
1の双対が0であり、その逆も同様であることに注意することも重要です。これは補数演算に似ています。
たとえば:x + 1 = 1
デュアル:x.0 = 0
実際に双対性は1と0および(ANDとOR)を交換することで得られますが、補足のために、xがxバーに置き換わる場合、別の問題がこの変更に含まれます。例f =(x + y) fはxyですが、補数= x(bar).y(bar)