The compound statement

$P \vee Q$

$P \wedge \sim Q$

$\sim(\mathrm{P} \Rightarrow \mathrm{Q})$

$\sim(\mathrm{P} \Rightarrow \mathrm{Q}) \Leftrightarrow \mathrm{P} \wedge \sim \mathrm{Q}$