设x1⊕x2⊕x3⊕x4= 0，其中x1，x2，x3，x4是布尔变量，variables是XOR运算符。以下哪一项必须始终为TRUE?
(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)是正确的。
这个问题的测验