$ \neg (p \wedge p) \vdash p \vee (\neg (p \wedge \neg p) $