ブール代数の計算について

質問

ブール代数の計算についてなのですが、

(1)xy・xy＝xy
(2)￢(xy)・￢(xy)＝￢(xy)
(3)xy・￢(xy)＝０

は成り立ちますか？

回答No.1

kmee · ベストアンサー

xy=a として各式を変形すれば、わかると思います。

別解。
真理値表を書きましょう。
たかだか4通り(x,y)=(0,0),(0,1),(1,0),(1,1)しか無いのですから、簡単です。
左辺と右辺が4つとも同じなら、等価な式です。

お礼

真理値表というアプローチがあるのを忘れていました。
全部成り立ちますね。ありがとうございます。