2018年度 秋期 情報処理安全確保支援士 午前I 問1

排他的論理和（XOR）は、2つのオペランドが異なる場合に真（1）となり、同じ場合に偽（0）となる演算です。相補演算とは、ある演算の結果と、その演算の否定（NOT）を取った結果が互いに否定の関係にある演算のことです。排他的論理和の真理値表を考えると、オペランドが同じ場合は偽（0）、異なる場合は真（1）となります。この排他的論理和の結果を否定すると、オペランドが同じ場合に真（1）、異なる場合に偽（0）となります。これは等価演算（XNOR）の定義そのものです。等価演算は、2つのオペランドが同じ場合に真（1）となり、異なる場合に偽（0）となる演算です。したがって、排他的論理和の相補演算は等価演算です。否定論理和（NOR）は、両方のオペランドが偽の場合にのみ真となる演算であり、論理積（AND）は両方のオペランドが真の場合にのみ真となる演算、論理和（OR）は少なくとも一方のオペランドが真であれば真となる演算であり、これらは排他的論理和の相補演算ではありません。