ブール代数の問題

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

ブール代数の公理、定理を使って次の式の成立を示せ
(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 回答日時： 2012/12/18 22:36

ブール代数を含め数学全般について素人なので今ひとつわかっていないのですが、

(b)の方、なんか成立しないような気がします。
左辺ですがx'+y+zとかであっているでしょうか？

No.2 回答者： alice_44 回答日時： 2012/12/18 19:39

両辺を、それぞれ完全積和標準形(参考↓)に変形して、

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

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

No.1 回答者： Tacosan 回答日時： 2012/12/18 16:47

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

成り立つなら, だけど.