📜  门| GATE-CS-2000 |第 30 题

📅  最后修改于: 2021-09-25 04:38:39             🧑  作者: Mango

设 a, b, c, d 是命题。假设等价a ↔ (b Vb) 和b ↔ c 成立。那么公式 (a ∧ b) → (a ∧ c) ∨ d) 的真值总是
(A)
(二)错误
(C)与 b 的真值相同
(D)与 d 的真值相同答案:(一)
解释:

符号(身份):

(a V b)⬄(a AND b)
(a b)⬄(ab)
(- a)⬄(不是a)
(a => b)⬄( a V b)

桑迪普

此解决方案由S andeep pandey 提供。
这个问题的测验