分野：テクノロジ系
中分類：基礎理論
小分類：離散数学

論理式をベン図で表して比較する方法で解きます。
排他的論理和の真理値表をベン図で表すと次のようになります。同様に他の論理式についてもベン図で表してみて、排他的論理和と一致するものを探します。

• 
  一致しません。
• 一致するので、この論理式が正解となります。
• 一致しません。
• 一致しません。

もうひとつの解法として選択肢のA，Bに0または1の入力値を与えて、真理値表と同じ結果になるかを検証していく方法でも解いてみます。
まずA＝0，B＝0で結果が0になるかを検証します。

• 「ア」(0 OR 0) AND (0 OR (NOT 0))＝0 AND 1＝0
• 「イ」(0 OR 0) AND ((NOT 0) OR (NOT 0))＝0 AND 1＝0
• 「ウ」((NOT 0) OR 0) AND (0 OR (NOT 0))＝1 AND 1＝1
• 「エ」((NOT 0) OR 0) AND ((NOT 0) OR (NOT 0))＝1 AND 1＝1

結果が排他的論理和の真理値表と同じ0となるのは「ア」と「イ」です。
続いてこの2つの論理式にA＝1，B＝1を与えて結果が0になるかを検証します。

• 「ア」(1 OR 1) AND (1 OR (NOT 1))＝1 AND 1＝1
• 「イ」(1 OR 1) AND ((NOT 1) OR (NOT 1))＝1 AND 0＝0

この時点で結果が同じになるのは「イ」だけなので消去法で正解とわかります。