質問: (x+y'+z)(x'+z')(x+y) という問題です。 加法標準形として解く問題かと思って真理値表を描いてみましたが糸口が見えませんでした。 教えて頂きたいです。
回答: 公式 a かつ b=(aでない または bでない)ではない a または b=(aでない かつ bでない)ではない を使う。 上記の否定は (a かつ b)ではない=((aでない または bでない)ではない)ではない (a かつ b)ではない=aでない または bでない (a または b)ではない=((aでない かつ bでない)ではない)ではない (a または b)ではない=aでない かつ bでない になるので、補関数を作るのに使える。