Determine the Clause Normal Form (CNF) of ¬(P ⟹ (Q∧R))\neg(P \implies (Q \land R))¬(P⟹(Q∧R)).
P∧(¬Q∨¬R)P \land (\neg Q \lor \neg R)P∧(¬Q∨¬R)
¬P∨Q∨R\neg P \lor Q \lor R¬P∨Q∨R
P∨¬Q∨¬RP \lor \neg Q \lor \neg RP∨¬Q∨¬R
¬P∧(¬Q∨¬R)\neg P \land (\neg Q \lor \neg R)¬P∧(¬Q∨¬R)