排他的論理和

「XOR」は論理演算について説明しているこの項目へ転送されています。論理回路については「XORゲート」をご覧ください。

排他的論理和（はいたてきろんりわ、英: exclusive or / exclusive disjunction）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理演算）である。XOR、EOR、EX-OR（エクスオア、エックスオア、エクソア）などと略称される。

中置演算子のある体系では、中置演算子を利用した中置記法により表記されることが多い。演算子は ${\displaystyle \veebar }$ (Unicode: U+22BB ⊻)、${\displaystyle {\dot {\vee }}}$。誤解のおそれがないときは、XOR、xor、${\displaystyle \oplus }$ (Unicode: U+2295 ⊕)、+、≠ なども使われる。

論理学などでは ${\displaystyle \veebar }$ を使用して ${\displaystyle P\veebar Q}$ と書くことが多く、論理回路などでは ${\displaystyle \oplus }$ を使用して ${\displaystyle A\oplus B}$ と書くことが多い。

記号を使った中置演算子としては ^ や @ などが使われることが多く、キーワードが演算子になるような言語では XOR や xor などが使われることが多い。真理値の排他的論理和の演算子としては^[1]同値の否定の比較演算子がその意味のため、専用の演算子を持たないこともある（Haskellなど）。

z = x ^ y;

z = x xor y;

Haskellでは、

z = x /= y

ここで/=の型は(/=) :: Eq a => a -> a -> Bool、意味はC言語などの!=と同じである。

IEC 60617のXORゲートの記号では、=1が排他的論理和を意味するものとして使われている。

「私の身長は160cm以上である」と「私の体重は52kg未満である」の二つの命題の排他的論理和は、これらのうち一方のみが成り立つことであるから、「私は身長160cm以上であり体重が52kg以上である。あるいは、私は身長160cm未満であり体重が52kg未満である。」となる。

なお、2つの命題 A, B について共通部分 A ∧ B が空集合であれば、排他的論理和は論理和と同じになる。例えば A = 「私の身長は160cmである」と B = 「私の身長は170cmである」は同時に成立することはない（共通部分が空である）ので、(A xor B) は (A ∨ B) と同じく「私の身長は160cmまたは170cmのいずれか一方である」となる。

排他的論理和は、論理和、論理積、否定を用いて、

${\displaystyle P\veebar Q=(P\land \lnot Q)\lor (\lnot P\land Q)}$

${\displaystyle P\veebar Q=(P\lor Q)\land (\lnot P\lor \lnot Q)}$

${\displaystyle P\veebar Q=(P\lor Q)\land \lnot (P\land Q)}$

などと表すことができる。

真理値表

2を法とする剰余体 ${\displaystyle \mathbb {Z} /2\mathbb {Z} }$ での加算（この体では加算と減算は等しい）は、0 を偽、1 を真とみなすと、排他的論理和となる。つまり、偶数 (0, 偽) どうしまたは奇数 (1, 真) どうしを加えると偶数 (0, 偽) になり、偶数 (0, 偽) と奇数 (1, 真) を加えると奇数 (1, 真) になる。

2進数表現した数値の各ビットに対し、0 を偽、1 を真とみなして排他的論理和を求めた結果を、ビットごとの排他的論理和、排他的ビット和、または単に排他的論理和と呼ぶ。

      P = 0011       K = 0110   P ⊕ K = 0101 

ビットごとの排他的論理和は、桁上がりを無視した2進数の加算の結果と等しい。つまり、ビットごとの排他的論理和は、2 の冪を位数とする有限体 ${\displaystyle \mathrm {GF} (2^{n})}$ での加減算（この体では加算と減算は等しい）に等しい。（なお、2を法とする剰余体 ${\displaystyle \mathbb {Z} /[2]}$ は、位数2の有限体 ${\displaystyle \mathrm {GF} (2)}$ である。）

1 桁の2進数の排他的論理和は、半加算器の一部である。

排他的論理和とビットごとの排他的論理和とは、異なることがある。0（偽）と 1（真）については、排他的論理和とビットごとの排他的論理和は等しい。しかし、0 でない値が全て真とみなされる環境や、0 でない値が真 (1) に暗黙の型変換される環境では、0 と 1 以外の値に対しても（ビットごとでない）排他的論理和を求めることができ、結果は一般にはビットごとの排他的論理和とは異なるので注意が必要である。

ビットごとの排他的論理和は、コンピュータ上でビット演算を行っている場合に、特定のビットだけを反転させるのによく用いられる。ある数値と、その数値のビットを反転させたい部分を 1 にした数値との排他的論理和をとると、指定した部分が反転した数値が得られる:

${\displaystyle 0011_{(2)}\oplus 0110_{(2)}=0101_{(2)}}$

多くのプロセッサで、レジスタをゼロにする場合に、直接ゼロをレジスタへ転送するより、自分自身とのXORをとってゼロとするほうが有利な場合がある。

${\displaystyle X\oplus X=0}$

主に以下の条件が成立する場合、言語処理系が最適化の一環としてXORを用いる。

• 即値のゼロを省略することにより、コードサイズが削減できる。
• 処理がレジスタとALUのみで完結するので、サイクル数や消費電力が削減できる。
• XOR演算によるフラグ変化がその後の処理に不利な影響を残さない。

ビットごとの排他的論理和によって、多数の入力における偽の個数の奇数・偶数（パリティ）が検出できるので、誤り検出に用いられる。この目的で排他的論理和（論理ゲート）を樹枝状に接続した回路をパリティツリーという。

ビットごとの排他的論理和は特定ビットの反転操作なので、2回繰り返せば元に戻る。つまり

${\displaystyle (P\oplus K)\oplus K=P}$

これは、結合法則によって、次のとおりに証明できる。

${\displaystyle (P\oplus K)\oplus K=P\oplus (K\oplus K)=P}$

この性質は便利であって、さまざまな応用がある。単純なものでは、（現代では有用性はほとんどないが）2個のレジスタの内容を他の資源を使わず交換できる「XOR交換アルゴリズム」があり、データ構造では「XOR連結リスト」がある。

${\displaystyle K}$ を鍵とする暗号に使うこともできる。平文を ${\displaystyle P}$ とすると、${\displaystyle P\oplus K}$ を暗号文とすることができる。

先の例でいえば、平文 ${\displaystyle 0011_{(2)}}$ が鍵 ${\displaystyle 0110_{(2)}}$ を使って暗号文 ${\displaystyle 0101_{(2)}}$ に変換され、次のとおり同一の鍵を使って暗号文から平文に復号できる。

${\displaystyle 0101_{(2)}\oplus 0110_{(2)}=0011_{(2)}}$

バーナム暗号は、この性質を利用した暗号である。一般に鍵交換問題があることから、短い鍵を元にした何らかの数列を使うことも多いが、ワンタイムパッドによるバーナム暗号には原文と同じ長さの鍵（そのような大量の情報量をもつものは、もはや運用上は「鍵」とはいえないが）が必要である。解読が絶対に不可能（理論的に、どのような解読結果も同様に確からしいものになってしまう）という意味では最強の暗号であるが、暗号の利用は運用の面も含めて総合的に判断しなければならないものであり、鍵の事前共有とその秘匿に必要な多大なコストが大きな難点である。

排他的論理和と二進表記を用いて、三つ山崩し（ニム）の必勝法を導くことができる。

1. ^ ビット演算の排他的論理和には専用の演算が必要である（Haskellではxorという関数）。

• 真理値
• 真理値表
• ブール代数
• ブール論理
• ブール関数
• ベン図
• 対称差
• 選言三段論法
• 選言肯定
• XOR交換アルゴリズム、XOR連結リスト
• マスク (情報工学)

表 話 編 歴 論理演算
恒真式 ( ${\displaystyle \top }$ )
NAND ( ${\displaystyle \uparrow }$ ) 逆含意 ( ${\displaystyle \leftarrow }$ ) IMP ( ${\displaystyle \rightarrow }$ ) OR ( ${\displaystyle \lor }$ )
否定 ( ${\displaystyle \neg }$ ) XOR ( ${\displaystyle \oplus }$ ) 同値 ( ${\displaystyle \leftrightarrow }$ ) 命題
NOR ( ${\displaystyle \downarrow }$ ) 非含意 ( ${\displaystyle \nrightarrow }$ ) 逆非含意 ( ${\displaystyle \nleftarrow }$ ) AND ( ${\displaystyle \land }$ )
矛盾 ( ${\displaystyle \bot }$ )