\((\neg P \vee Q) \wedge (\neg R \vee (P \wedge \neg R))\text{.}\)
\(\forall x \forall y \forall z (z = x+y \wedge \forall w (x-y \ne w))\text{.}\)