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