>>628
一度問題訂正あったの忘れてましたOTL
申し訳ありません。

正しくは
x¬y + ¬yz + (x+y) (x¬y + ¬yz) = x¬y + ¬yz　であることを証明せよ
でした。

そうやってド・モルガンを使うんですか・・・