If p and q are statements, then the statement ‘p or q’ where exclusive disjunction is intended, often written as ‘p xor q’ or p ⊻ q, is true only if exactly one of p, q is true. The truth table is therefore as follows:
![exclusive disjunction](Images/oree/doc/10.1093/acref/9780198845355.001.0001/acref-9780198845355-graphic-091-full.gif)
The set-theoretic equivalent of exclusive disjunction is symmetric difference. See also inclusive disjunction.