门| GATE CS 1996 |问题28

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