Theorem (De Morgans' Laws)

(1)

(2)

Proof:

Hence (1) is proved.

Hence (2) is proved.

We can extend to higher numbers and sets:

and