📜  门|门 CS 1996 |问题 28

📅  最后修改于: 2021-09-27 05:40:33             🧑  作者: Mango

以下哪项是错误的?将∧读作AND,∨读作OR,∼读作NOT,→作为单向蕴涵,↔作为双向蕴涵。
(A) ((x→y) ∧ x)→ y
(B) ((∼x→y) ∧ (∼x→∼y))→ x
(C) (x→ (x ∨ y))
(D) ((x ∨ y) ↔ (∼x→∼y))答案: (D)
解释:
这个问题的测验
如果您发现上面的帖子有任何错误,请在下面评论