排他的論理和（はいたてきろんりわ、）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理演算）である。XOR、EOR、EX-OR（エクスオア、エックスオア、エクソア）などと略称される。中置演算子のある体系では、中置演算子を利用した中置記法により表記されることが多い。演算子は formula_1 (Unicode: U+22BB ⊻)、formula_2。誤解のおそれがないときは、XOR、xor、formula_3 (Unicode: U+2295 ⊕)、+、≠ なども使われる。論理学などでは formula_1 を使用して formula_5 と書くことが多く、論理回路などでは formula_3 を使用して formula_7 と書くことが多い。記号を使った中置演算子としては ^ や @ などが使われることが多く、キーワードが演算子になるような言語では XOR や xor などが使われることが多い。等。「私の身長は160cm以上である」と「私の体重は52kg未満である」の二つの命題の排他的論理和は、これらのうち一方のみが成り立つことであるから、「私は身長160cm以上であり体重が52kg以上である。あるいは、私は身長160cm未満であり体重が52kg未満である。」となる。なお、2つの命題 "A

出典:wikipedia