¬ p ∧ q ⇔ ¬ p ∨ ¬ q i = 1 n A i = ⋂ n i = 1 A i