ブール代数の問題

質問

以下の問題が分からなくて困っています。

ブール代数の公理、定理を使って次の式の成立を示せ
(a)xy+xy'z+xy'=x
(b)x'+x'y'z+(x+x'y'z)(y+z)=x+y'z

どなたかご教授お願いしますm(__)m

回答No.3

queuerev2

ブール代数を含め数学全般について素人なので今ひとつわかっていないのですが、
(b)の方、なんか成立しないような気がします。
左辺ですがx'+y+zとかであっているでしょうか？

回答No.2

alice_44

両辺を、それぞれ完全積和標準形(参考↓)に変形して、
www.h6.dion.ne.jp/~ooya/Kougiroku/Ronri/Ronri04.pdf
左右が一致していることを見ればよいです。
例えば、(a)の右辺は x=xyz+xyz'+xy'z+xy'z'.
他も同様に展開してみましょう。

左辺を整理して右辺の形にもって行こうとするのは、愚策。

回答No.1

Tacosan

どんな「定理」でも使っていいなら, どちらも「『定理』より」で終わればいいんだよ.

成り立つなら, だけど.