\neg(p \land q) \Leftrightarrow (\neg p) \vee (\neg q)\overline{\bigcup_{i = 1}^{n}A_{i}} = \bigcap_{i = 1}^{n}\overline{A_{i}}
