Conjunction of Disjunction with Negation is Conjunction with Negation

Theorem

 * $\left({p \lor q}\right) \land \neg q \dashv \vdash p \land \neg q$

Proof
... and its converse: