De Morgan's law

In Set theory, De Morgan's law is as follows:

Let \(A, B \subseteq X\). Then, - \((A \cap B)^c = A^c \cup B^c\) - \((A \cup B)^c = A^c \cap B^c\)