$$\neg (p\wedge q)\iff (\neg p)\vee (\neg q)\overline{\bigcup _{i=1}^n{A}_i}=\bigcap _{i=1}^n\overline{A_i}$$