逻辑二元关系 □ ，定义如下： 
令 ~ 为一元否定 (NOT)运算符，其优先级高于 □。
以下哪一项等价于A∧B?
(A) (~A □ B)
(B) ~(A □ ~B)
(C) ~(~A □ ~B)
(D) ~(~A □ B) (一) A
(乙)乙
(C)丙
(四)丁答案： (D)
解释：在 A∧B 中，我们有 3 个条目为 False，一个为 True。在表中，它是相反的情况，所以我们必须否定 A □ B，而且，只有当 A 和 B 都为真时，我们才想要 True，所以在第 3 项(否定后变为真)，我们想要两者都为真，所以我们也必须否定 A。
所以 A ∧ B ≡ ~(~A □ B)，所以选项 (D) 是正确的。
资料来源：www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html
这个问题的测验