What is the Clause Normal Form (CNF) of (P ⟹ Q) ⟹ R(P \implies Q) \implies R(P⟹Q)⟹R?
(P∨R)∧(¬Q∨R)(P \lor R) \land (\neg Q \lor R)(P∨R)∧(¬Q∨R)
¬P∨Q∨R\neg P \lor Q \lor R¬P∨Q∨R
(P∨R)∧(Q∨R)(P \lor R) \land (Q \lor R)(P∨R)∧(Q∨R)
¬P∧Q∧R\neg P \land Q \land R¬P∧Q∧R