Question

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 mentioned

The 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 1

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

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