$(\exists x P(x) \implies \forall x Q(x)) \implies \forall x (P(x) \implies Q(x))$

$\forall x (P(x) \implies Q(x)) \implies (\exists x P(x) \implies \forall x Q(x))$

$\exists x (P(x) \implies Q(x)) \implies (\forall x P(x) \implies \exists x Q(x))$

$(\forall x P(x) \implies \exists x Q(x)) \implies \exists x (P(x) \implies Q(x))$