1. \((\neg P \vee Q) \wedge (\neg R \vee (P \wedge \neg R))\text{.}\)

  2. \(\forall x \forall y \forall z (z = x+y \wedge \forall w (x-y \ne w))\text{.}\)