XOR işleminin birleşme özelliğine sahip olduğunu göstererek ispatlayın:

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

Burada XOR işlemi (P ∧ ¬Q) ∨ (¬P ∧ Q) anlamına gelir