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

選択肢

• ア等価演算
• イ否定論理和
• ウ論理積
• エ論理和

正解と解説

正解：ア 等価演算

排他的論理和XORは2入力が異なるとき真になる演算で、その否定は「2入力が一致するとき真」となる。これはまさに等価演算（同値、XNOR）である。ベン図では、XORが2つの円の重ならない部分であるのに対し、その相補演算は重なる部分と両円の外側を合わせた領域になる。

選択肢ごとの解説

• ア正解。XORの否定にあたる同値演算（XNOR）で、入力が一致するときに真となる。
• イ否定論理和NORは、どちらの入力も偽のときだけ真。XORの否定とは一致しない。
• ウ論理積ANDは両方が真のときだけ真で、両方偽の場合を取りこぼす。
• エ論理和ORはXORの否定ではなく、むしろXORに両方真の場合を加えた演算。

同じ分野の他の問題

• A, B, C, D を論理変数とするとき、次のカルノー図と等価な論理式はどれか。ここで、・は論理積、＋は論理和、Xの上…2025年度 秋期 午前 問1
• 論理式P, Qがいずれも真であるとき，論理式Rの真偽にかかわらず真になる式はどれか。ここで，"￣"は否定を，"∨"は論理…2025年度 春期 午前 問1
• 0以上255以下の整数nに対して、next(n) = n+1 (0≦n<255)、0 (n=255) と定義する。nex…2023年度 春期 午前 問1
• A, B, C, Dを論理変数とするとき、次のカルノー図と等価な論理式はどれか。ここで、・は論理積、＋は論理和、Xの上線…2022年度 秋期 午前 問2
• 全体集合S内に異なる部分集合AとBがあるとき、A(バー)∩B(バー)に等しいものはどれか。ここで、A∪BはAとBの和集合…2022年度 春期 午前 問2