Question

Negation of statement (A ∧ B) → (B ∧ C) is _____________

(a) (A ∧ B) →(~B ∧ ~C)

(b) ~(A ∧ B) v ( B v C)

(c) ~(A →B) →(~B ∧ C)

(d) None of the mentioned

I have been asked this question in examination.

My question is based upon Logics and Proofs topic in chapter The Foundation: Logics and Proofs of Discrete Mathematics

Answer 1

Correct choice is (a) (A ∧ B) →(~B ∧ ~C)

To explain: ~(A →B) Ξ  A ∧ ~B using this we can easily fetch the answer.