أثبت أن عملية XOR تحقق خاصية التجميع من خلال إظهار:

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

حيث XOR تعني (P ∧ ¬Q) ∨ (¬P ∧ Q)