逻辑二进制关系□定义如下： 
令〜为一元否定(NOT)运算符，其优先级高于□。
以下哪一项等效于A∧B?
(A) (~A □ B)
(B) ~(A □ ~B)
(C) ~(~A □ ~B)
(D) ~(~A □ B) (A) A
(B) B
(C) C
(D) D答案： (D)
说明：在A∧B中，我们有3个条目为False，一个为True。在表中，情况恰好相反，因此我们必须取反A□B，而且，仅当A和B都为真时，我们才希望为True，因此在第三项(取反后变为真)，我们都希望为真，所以我们也必须否定A。
因此，A∧B≡〜(〜A□B)，因此选项(D)是正确的。
资料来源：www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html
这个问题的测验