设 x1⊕x2⊕x3⊕x4 = 0 其中 x1、x2、x3、x4 是布尔变量，⊕ 是异或运算符。以下哪一项必须始终为真?
(A) x1x2x3x4 = 0
(B) x1x3+x2 = 0
(C) x′1⊕x′3=x′2⊕x′4
(D) x1+x2+x3+x4 = 0答案： (C)
说明：首先我们重新排列术语，
x1⊕x2⊕x3⊕x4 = 0
x1⊕x3⊕x2⊕x4 = 0
x1⊕x3 = x2⊕x4
然后用a⊕b=a′⊕b′a⊕b=a′⊕b′得到(C)。
x′1⊕x′3=x′2⊕x′4
另一种方法：
你可以举一个反例来反驳其他选择。
你可以取 x1 = x2 = x3 = x4 = 1。
只有选项 (C) 是正确的。
这个问题的测验