離散数学 (全36問中18問目)
No.18
排他的論理和を表す論理式はどれか。ここで,論理変数AとBに対する排他的論理和の真理値表は次のように表される。また,ANDは論理積,ORは論理和,NOTは否定を表す。
出典:平成25年春期 問82
- (A OR B) AND (A OR (NOT B))
- (A OR B) AND ((NOT A) OR (NOT B))
- ((NOT A) OR B) AND (A OR (NOT B))
- ((NOT A) OR B) AND ((NOT A) OR (NOT B))
分類
テクノロジ系 » 基礎理論 » 離散数学
正解
イ
解説
論理式をベン図で表して比較する方法で解きます。
排他的論理和の真理値表をベン図で表すと次のようになります。同様に他の論理式についてもベン図で表してみて、排他的論理和と一致するものを探します。
まずA=0,B=0で結果が0になるかを検証します。
続いてこの2つの論理式にA=1,B=1を与えて結果が0になるかを検証します。
排他的論理和の真理値表をベン図で表すと次のようになります。同様に他の論理式についてもベン図で表してみて、排他的論理和と一致するものを探します。
- 一致しません。
- 一致するので、この論理式が正解となります。
- 一致しません。
- 一致しません。
まず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
続いてこの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