排他的論理和(はいたてきろんりわ)(exclusive or / exclusive disjunction) とは、数理論理学において、与えられた2つの命題のいずれかただ1つのみが真であるときに真となる
論理演算である。
XOR、EOR、EXOR(エクスオア、エックスオア、エクソア)などと略称される。
演算子は (
Unicode:
U+22BB
x22BB;)、 。誤解のおそれがないときは、
XOR、xor、 (
Unicode:
U+2295
x2295;)、+、≠ なども使われる。
なお、コンピュータ・プログラミングなど応用数学で、後述する
ビットごとの
排他的論理和 (bitwise exclusive or) を、単に
排他的論理和、
XORなどと呼ぶことがある。
演算子は、
XOR、xor、 、^ などが使われる。