1.

What is the negation of the statement A->(B v(or) C)?(a) A ∧ ~B ∧ ~C(b) A->B->C(c) ~A ∧ B v C(d) None of the mentionedThe question was asked in a national level competition.This is a very interesting question from Logics topic in division The Foundation: Logics and Proofs of Discrete Mathematics

Answer»

Right choice is (a) A ∧ ~B ∧ ~C

The explanation is: A->P is logically EQUIVALENT to ~A v P.



Discussion

No Comment Found

Related InterviewSolutions