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