0:00
难度: 专家类别: 逻辑等价类型: 等价检查

通过证明以下等式来证明 XOR 满足结合律:

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

其中 XOR 表示 (P ∧ ¬Q) ∨ (¬P ∧ Q)