门| GATE-CS-2000 |问题30

令a，b，c，d为命题。假设等式a↔(b Vb)和b↔c成立。那么公式(a∧b)→(a∧c)∨d)的真值总是
(A)正确
(B)错误
(C)与b的真值相同
(D)与d的真值相同答案： (A)
解释：

符号(身份)：

(a V b)⬄(a AND b)
( a∨b )⬄(a OR b)
( -a)⬄(不是a)
(a => b)⬄( – a V b)

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