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:

The set-theoretic equivalent of exclusive disjunction is symmetric difference. See also inclusive disjunction.