Conjunction of Disjunction with Negation is Conjunction with Negation

Theorem

 * $\paren {p \lor q} \land \neg q \dashv \vdash p \land \neg q$

Proof
and its converse: