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
Answer:A
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
Explanation: A->P is logically equivalent to ~A v P.