다음을 보여서 XOR이 결합법칙을 만족함을 증명하세요:

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

여기서 XOR은 (P ∧ ¬Q) ∨ (¬P ∧ Q)를 의미합니다