Which logical law states that ¬(∀xP(x))≡∃x¬P(x)\neg(\forall x P(x)) \equiv \exists x \neg P(x)¬(∀xP(x))≡∃x¬P(x)?
De Morgan's Laws for Quantifiers
Distributive Law
Commutative Law
Law of Excluded Middle