UGC-NET | UGC NET CS 2015 Jun – III | Question 22

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)

Explanation: We know that P ⇒ Q = ¬P ∨ Q
Similarly A ∧ B ∧ C ⇒ D
= ¬(A ∧ B ∧ C) v D
= ¬A ∨ ¬B ∨ ¬C ∨ D.
So, option (A) is correct.

Quiz of this Question

My Personal Notes arrow_drop_up

Save