Beweisen Sie, dass XOR assoziativ ist, indem Sie zeigen:

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

Wobei XOR bedeutet (P ∧ ¬Q) ∨ (¬P ∧ Q)