¬ ( p q ) ( ¬ p ) ( ¬ q ) A i i = 1 n = A i i = 1 n