以下哪一项不是有效的身份?
(A) (x y y)⊕z = x⊕(y⊕z)
(B) (x + y)⊕z = x⊕(y + z)
(C) x y = x + y(如果xy = 0
(D) x y y =(xy + x’y’)’答案： (B)
说明：根据Exor(⊕)操作，
| x | y | x⊕y |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
因此，选项(D)，
x⊕y
= (x'y + xy′)
= (x'+y').(x+y)
= (x⊙y)'
= (xy + x′y′)′ 它也清楚地表明，如果x和y中的至少一个为0，则其工作方式为(x + y)。
x⊕y = x + y, if xy = 0您会注意到，除了给定Truth表中的最后一行外，它的工作方式为(x + y)，因为只有最后一行不满足(xy)= 0。因此，选项(C)也是正确的。
Exor(⊕)运算也满足关联法则，即
(x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)因此，选项(A)也是正确的。
但是，选项(B)是不正确的，因为，
(x+y)⊕z
= (x+y)'.z + (x+y).z'
= (x'y').z + xz' + yz'
And,
x⊕(y+z)
= x'.(y+z) + x.(y+z)'
= x'y + x'z + x.y'z'
Therefore,
(x+y)⊕z ≠ x⊕(y+z)这个问题的测验