7 votes 7 votes The casual form of the disjunctive normal form $\neg A \vee \neg B \vee \neg C \vee D$ is: $A \wedge B \wedge C \Rightarrow D$ $A \vee B \vee C \vee D \Rightarrow true$ $A \wedge B \wedge C \wedge D \Rightarrow true$ $A \wedge B \wedge C \wedge D \Rightarrow false$ Mathematical Logic ugcnetcse-june2015-paper3 mathematical-logic + – go_editor asked Jul 31, 2016 recategorized Aug 1, 2016 by LeenSharma go_editor 4.0k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 8 votes 8 votes It should be clausal form rather than casual as we know A->B is equivalent to ~AVB now checking option A A∧B∧C⇒D applying above equivalence ~(A∧B∧C)V D applying de-morgans law =>~A V ~B V ~C V D which is given in the question hence ans is A Sanjay Sharma answered Aug 1, 2016 selected Aug 1, 2016 by LeenSharma Sanjay Sharma comment Share Follow See all 0 reply Please log in or register to add a comment.
1 votes 1 votes ¬A∨¬B∨¬C∨D (A∧B∧C) ⇒D A is ans Prashant. answered Jul 31, 2016 Prashant. comment Share Follow See all 0 reply Please log in or register to add a comment.