web-dev-qa-db-ja.com

ブール式の双対と補数の違いは何ですか?

同じことですか?それともわずかな違いがありますか?誤解しないようにしたいだけです。

18
Hoodlum

ブール双対は、ANDをORに、ORをANDに置き換えるだけで生成されます。補数自体は影響を受けません。式の補数は、ANDをORに、またはその逆に置換した変数の否定です。

考慮してください:

A+B

補数:A'B'

デュアル:AB

29
J.C.Morris

「アイデンティティの二重はアイデンティティでもあります。これは、二重性原理と呼ばれます」。ブール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)にプラグインすると、まったく逆の結果が得られます。補数は、各変数を否定し、各演算子を切り替えることによって形成されます。

5
Steve

関数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に置き換えられ、補数も変更されます。

1
Tamilselvi

二重を見つけることで、我々は置き換えます

  1. ANDとORおよびその逆
  2. 0と1、またはその逆

補完を見つけるには、上記の2つに加えて、

AとA 'およびその逆(つまり、補数を持つ変数)

1
Mahesha999

すでに述べたことに加えて。
1の双対が0であり、その逆も同様であることに注意することも重要です。これは補数演算に似ています。
たとえば:x + 1 = 1
デュアル:x.0 = 0

1
Denson

実際に双対性は1と0および(ANDとOR)を交換することで得られますが、補足のために、xがxバーに置き換わる場合、別の問題がこの変更に含まれます。例f =(x + y) fはxyですが、補数= x(bar).y(bar)