de Morgan's Laws

Theorem

(1)

(2)

Proof:

Hence (1) is proved.



Hence (2) is proved.

We can extend to higher numbers and sets:

and