どなたか、ブーリアン代数学に心得がある方、助けてください。。。
(x’*z’ + x’*y + x’* z + x*y )’ = x*y’
を証明しなくちゃいけないんです。
昨日から少なくとも３時間やっているんですが解けません。
L.S.=x*y+y*z+x’*z
=y*(x+z)+x’*z
=((y*(x+z))+x’)*((y*(x+z))+z)
くらいまでやってみたんですが、どうも解けそうもありません。
どなたか、分かる方、よろしくお願いします！

　これは数学なのか？？力に慣れないです。すみません別のサイトのほうが良いかと・・・ 　

“がんばってはみたんですが、証明できませんでした”

と素直に証明してみてはどうですか？ 　

(x’*z’ + x’*y + x’* z + x*y )’
=(x’*(z’+z)+(x’+x)*y)’
=(x’+y)’
=(x’)’*y’
=x*y’ 　

レスありがとうございます。
すみません、あまりにも混乱していて、最初の問題を間違ってコピペしてました・・・
x*y + y*z + x’*z = x*y + x’*z
を証明しなくてはならないんです。
Consensus Theoremっていうのらしいんですが。。。 　

数学好きだったのでがんばってみようと思ったのですが・・・
x’の’って２乗の事ですか??
　

今気付いたのですが・・・
x*y + y*z + x’*z = x*y + x’*z
の両方に「x*y」と「x*z’」があるので「y*z」がゼロにならないと成り立たないんじゃないかなぁ〜 　

x*y + y*z + x’*z
=x*y+(x+x’)*y*z+x’*z
=x*y+x*y*z+x’*y*z+x’*z
=x*y*(1+z)+x’*(y+1)*z
=x*y+x’*z 　

Res.3,7がワーホリでトロントに来て今皿洗いのバイトやっています、
とかだったら、「グッドウィルハンティング」の主人公みたい♥ 　

Boolean Algebraね。　大学時代は得意科目だった。
このページ参考にしな。

http://www.asic-world.com/digital/boolean1.html#Consensus_theorem

　

皆様、レスありがとうございました！
何にもないところに１を置いて、さらにそれを「x*x’」なんて味な真似をしなくちゃいけなかったんですね。。。
おかげさまで勉強になりました。　リンクも参考にさせていただきます。　今夜はちょっと早く寝られそうです。 　

そうそう、Res5さん、「’」はブーリアン代数では「Not」って意味なんです。　変でしょ。。。コンピュータのサーキットはこんなので信号を送っているようです。