Is there a way i can go from dnf to cnf quickly? Can I simply negate dnf to get cnf? and get negate cnf to get dnf?
$P \to (Q\wedge \neg (P \to R))$
= $\neg P \vee (Q \wedge \neg ( \neg P \vee R))$
= $\neg P \vee (Q \wedge (P \wedge \neg R))$
= $\neg P \vee (Q \wedge P \wedge \neg R)$ --- is this correctly in DNF?
How could I go from CNF from here? I'm slightly stuck.