教资会网络 | UGC NET CS 2015 年 6 月 – III |问题 22

析取范式 ¬A ∨ ¬B ∨ ¬C ∨ D 的分句形式是：
(A) A ∧ B ∧ C ⇒ D
(B) A ∨ B ∨ C ∨ D ⇒ 真
(C) A ∧ B ∧ C ∧ D ⇒ 真
(D) A ∧ B ∧ C ∧ D ⇒ 假答案：（一）
解释：我们知道 P ⇒ Q = ¬P ∨ Q
同样 A ∧ B ∧ C ⇒ D
= ¬(A ∧ B ∧ C) v D
= ¬A ∨ ¬B ∨ ¬C ∨ D。
所以，选项（A）是正确的。
这个问题的测验