Which logical law states that ¬(P∨Q) ⟺ (¬P∧¬Q)\neg (P \lor Q) \iff (\neg P \land \neg Q)¬(P∨Q)⟺(¬P∧¬Q)?
De Morgan's Law
Associative Law
Commutative Law
Distributive Law