質問: 論理式 f=a・b・d+a・c・d+a^・c・d^+a^・b・d^ ^は、否定0を示しています。 この、論理式の最簡形を何回求めても、上記の式に戻ってしまいます。なぜでしょうか? 自分で、加法標準形に直してまとめたら次のようになりました。 f=abcd+a^bc^d^+a^bcd^+abc^d+ab^cd+a^b^cd^ そして、カルノー図で解きました。 教えていただきませんか?
回答: #1です 補足します。 >f=a・b・d+a・c・d+a^・c・d^+a^・b・d^ これはand-or表現の最簡形ですが 論理を反転させカルノー図でゼロのところを拾えば、 f=(ad^+a^d+b^c^)^ でも表せます。 これをド・モルガンの定理で変形すれば f=(ad^)^・(a^d)^・(b^c^)^ =(a^+d)(a+d^)(b+c) とも表せます。 これらも最簡形の表現の形式に含まれるでしょう。 最後の式はor-and型の最簡形ですね。