次の式を示すことでXORが結合的であることを証明せよ:

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

ここでXORは(P ∧ ¬Q) ∨ (¬P ∧ Q)を意味する