離散数学(全64問中63問目)

任意のオペランドに対するブール演算Aの結果とブール演算Bの結果が互いに否定の関係にあるとき,AはBの(又は,BはAの)相補演算であるという。排他的論理和の相補演算はどれか。

出典:平成17年春期 問 3

  • 03a.gif
  • 03i.gif
  • 03u.gif
  • 03e.gif
正解 問題へ
分野:テクノロジ系
中分類:基礎理論
小分類:離散数学
解説
相補演算とは、集合演算によって得られる結果が互いにもう一方の演算の補集合となっている関係、すなわちAとA,X AND YとNOT (X AND Y)のような関係になっているものをいいます。
排他的論理和(XOR)は、2つの入力値が異なれば真、同じであれば偽を返す論理演算で、演算結果は次のような真理値表となります。
03_1.gif
排他的論理和の相補演算になるのは、XORの補集合(XORのベン図の白い部分)が結果として得られる演算なので、答えとして適切なのは「等価演算」ということになります。
03_2.gif

この問題の出題歴


Pagetop