2018年度 秋期 データベーススペシャリスト 午前I 問1

等価演算（Equivalence、EQV）は、2つのオペランドが同じ場合に真（1）を、異なる場合に偽（0）を返します。例えば、A EQV B の結果が真となるのは (A=0, B=0) または (A=1, B=1) の場合です。

ここで、A XOR B の結果と A EQV B の結果を比較すると、常に互いに否定の関係になっていることがわかります。つまり、A XOR B が真であるとき、A EQV B は偽であり、A XOR B が偽であるとき、A EQV B は真となります。これは、A EQV B が ¬(A XOR B) と等価であることを意味します。したがって、排他的論理和の相補演算は等価演算です。

他の選択肢について見ていきましょう。否定論理和（NAND）は、論理積の否定であり、両方のオペランドが真のときのみ偽を返します。論理積（AND）は、両方のオペランドが真のときのみ真を返します。論理和（OR）は、少なくとも一方のオペランドが真のときに真を返します。これらの演算は、排他的論理和の結果と互いに否定の関係にはありません。例えば、排他的論理和が偽になる場合（オペランドが両方とも0または両方とも1）でも、論理積や論理和は真になることがあります。