यह सिद्ध कीजिए कि XOR साहचर्य (associative) है:

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

जहाँ XOR का अर्थ है (P ∧ ¬Q) ∨ (¬P ∧ Q)