Let $p$ and $q$ be two statements. The $\sim(P \wedge (p \implies \sim q))$ is equivalent to:
$p \vee (p \wedge (\sim q))$
$p \vee (p \wedge q)$
$p \vee ((\sim p) \wedge q)$
$(\sim p) \vee q$