All mock tests are FREE till 31 December — register to save your progress

Which of the following is the principal conjunctive normal form of [(p ∨ q) ∧ ¬p] → ¬q?

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: A. p ∨ ¬q

Explanation

(p ∨ q) ∧ ¬p ≡ ¬p ∧ q, so the implication is ¬(¬p ∧ q) ∨ ¬q ≡ p ∨ ¬q ∨ ¬q = p ∨ ¬q.

More Discrete Structures and Optimisation questions