排他的論理和
中置演算子のある体系では、中置演算子を利用した中置記法により表記されることが多い。演算子は ⊻ {\displaystyle \veebar } (Unicode: U+22BB ⊻)、 ∨ ̇ {\displaystyle {\dot {\vee }}} 。誤解のおそれがないときは、XOR、xor、 ⊕ {\displaystyle \oplus } (Unicode: U+2295 ⊕)、+、≠ なども使われる。
論理学などでは ⊻ {\displaystyle \veebar } を使用して P ⊻ Q {\displaystyle P\veebar Q} と書くことが多く、論理回路などでは ⊕ {\displaystyle \oplus } を使用して A ⊕ B {\displaystyle A\oplus B} と書くことが多い。
排他的論理和(はいたてきろんりわ、英: exclusive or / exclusive disjunction)とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算(論理演算)である。XOR、EOR、EX-OR(エクスオア、エックスオア、エクソア)などと略称される。