離散数学 (全109問中2問目)
No.2
任意のオペランドに対するブール演算Aの結果とブール演算Bの結果が互いに否定の関係にあるとき，AはBの(又は，BはAの)相補演算であるという。排他的論理和の相補演算はどれか。
出典：令和4年免除 問1
- [出典]
- 午前免除試験 R4-6月 問1
- 基本情報技術者 H14 問9と同題
分類
テクノロジ系 » 基礎理論 » 離散数学
正解
ア
解説
相補演算とは、集合演算によって得られる結果が互いにもう一方の演算の補集合となっている関係、すなわちAとA，X AND YとNOT (X AND Y)のような関係になっているものをいいます。
排他的論理和(XOR)は、2つの入力値が異なれば真、同じであれば偽を返す論理演算で、演算結果は次のような真理値表となります。
排他的論理和の相補演算になるのは、XORの補集合(XORのベン図の白い部分)が結果として得られる演算なので、答えとして適切なのは「等価演算」ということになります。
排他的論理和(XOR)は、2つの入力値が異なれば真、同じであれば偽を返す論理演算で、演算結果は次のような真理値表となります。