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