我想展示XOR的各种定义的重言式。维基百科中有一个证明，它表明第一行和最后一行是等价的。
不幸的是我没有得到第一次转型。今天能不能说明应用哪些操作？
点 ⊕ q = （ p ∧ ¬ q ） ∨ （ ¬ p ∧ q ）
= （ （ p ∧ ¬ q ） ∨ ¬ p ） ∧ （ （ p ∧ ¬ q ） ∨ q ）（！）
= （ （ p ∨ ¬ p ） ∧ （ ¬ q ∨ ¬ p ） ） ∧ （ （ p ∨ q ） ∧ （ ¬ q ∨ q ） ）
= （ ¬ p ∨ ¬ q ） ∧ （ p ∨ q ）
= ¬ （ p ∧ q ） ∧ （ p ∨ q ）
答案 0 :(得分：1)
它的分配性。
成像( p ∧ ¬ q )是一个简单变量x
如此简单的分配将是：
x ∨ (¬ p ∧ q) = (x ∨ ¬ p) ∧ (x ∨ q)
现在为x设置( p ∧ ¬ q )，你得到：
(( p ∧ ¬ q ) ∨ ¬ p) ∧ (( p ∧ ¬ q ) ∨ q)
正是你想要的。
希望有所帮助
你可以在维基百科上找到更多信息： https://en.wikipedia.org/wiki/Boolean_algebra