Use equivalences to show that the equations are equivalent ∀x p(x) ∧ ∃y q(y, x) → ∃y r(y) ≡ ∃z ¬p(z) ∨ ∀y ¬q(y, x) ∨ ∃w r(w)