The clausal form of the disjunctive normal form ¬ A ˅ ¬ B ˅ ¬ C ˅ D is :
A. A ˄ B ˄ C ⇒ D
B. A ˅ B ˅ C ˅ D ⇒ true
C. A ˄ B ˄ C ˄ D ⇒ true
D. A ˄ B ˄ C ˄ D ⇒ false
Answer:A
The clausal form of the disjunctive normal form ¬ A ˅ ¬ B ˅ ¬ C ˅ D is :
A. A ˄ B ˄ C ⇒ D B. A ˅ B ˅ C ˅ D ⇒ true C. A ˄ B ˄ C ˄ D ⇒ true D. A ˄ B ˄ C ˄ D ⇒ false