Problem
Convert following to DNF
$$ p \rightarrow (q \wedge \neg p) $$
Attempt to convert
$$ p \rightarrow (q \wedge \neg p) $$
$$ \iff \neg p \vee (q \wedge \neg p) $$ $$ \iff q \vee (\neg p \wedge \neg p) $$ $$ \iff q \vee \neg p $$
is this correct?