Which of the following is logically equivalent to the statement ¬(∀x)(P(x) ⟹ Q(x))\neg(\forall x)(P(x) \implies Q(x))¬(∀x)(P(x)⟹Q(x))?
(∃x)(P(x)∧¬Q(x))(\exists x)(P(x) \land \neg Q(x))(∃x)(P(x)∧¬Q(x))
(∀x)(¬P(x)∨Q(x))(\forall x)(\neg P(x) \lor Q(x))(∀x)(¬P(x)∨Q(x))
(∃x)(¬P(x)∧Q(x))(\exists x)(\neg P(x) \land Q(x))(∃x)(¬P(x)∧Q(x))
(∀x)(P(x)∧¬Q(x))(\forall x)(P(x) \land \neg Q(x))(∀x)(P(x)∧¬Q(x))