Chứng minh rằng XOR có tính kết hợp bằng cách chỉ ra:

(A XOR B) XOR C ≡ A XOR (B XOR C)

Trong đó XOR có nghĩa là (P ∧ ¬Q) ∨ (¬P ∧ Q)