Logical exclusive or

a.k.a. xor, ⊕, exclusive disjunction

A boolean algebra expression such that a ⊕ b is true when a and b are not equal, and false otherwise.


The logical not of logical equivalence.

Equivalent expression using basic operations:

(a ∧ ¬b) ∨ (¬a ∧ b)

Truth Table

1 ⊕ 1 = 0
1 ⊕ 0 = 1
0 ⊕ 1 = 1
0 ⊕ 0 = 0

Plain English

Both terms must be equal.

External Resources