De Morgan's Laws

Theorem
De Morgan's Laws are a suite of theorems in logic, which are also applied in set theory, as follows: