論理式 (A+B)・(A+¬B) を簡単化した結果として正しいものは、次のうちどれか。ただし、+は論理和(OR)、・は論理積(AND)、¬は否定(NOT)を表す。
正解・解説を確認する
解答正解 1
分配則で展開すると A・A+A・¬B+B・A+B・¬B となる。A・A=A、B・¬B=0 で、残りの A+A・¬B+A・B は A で吸収される(A・(1+¬B+B)=A)。真理値表で確かめると、A=1 のとき両括弧が 1、A=0 のとき一方は B、他方は ¬B となり積は 0 なので、結果は A と一致する。
選択肢ごとの判定
1正しい。展開して A+A・¬B+A・B+B・¬B=A・(1+¬B+B)+0=A となる。
2A と B の役割を取り違えた結果。B が現れるのは、両方の括弧に B が同じ形で含まれる場合である。
3第一の括弧だけを答えた形。第二の括弧 (A+¬B) との論理積で B の項が消える。
4第一の括弧と第二の括弧を混同して論理積の形にした誤り。分配則で A・¬B と A・B が共に A に吸収される。
5否定の位置を誤った結果。式は A が 1 のとき両方の括弧が 1 となるので、結果は A と同じ真理値になる。