国际空间研究组织 | ISRO CS 2017 – 5 月 |问题 22

以下哪个布尔表达式不是重言式？
(A) ((a → b) ∧ (b → c)) → (a → c)
(B) (a ↔ c) →( ¬b → (a ∧ c))
(C) (a ∧ b ∧ c) → (c ∨ a)
(D) a → (b → a)答案：（乙）
说明：参考：GATE-CS-2014-(Set-2) |问题 63
选项（B）是正确的。
这个问题的测验