Prouvez que le XOR est associatif en montrant :

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

Où XOR signifie (P ∧ ¬Q) ∨ (¬P ∧ Q)