TeX source:
(A\cup B) = (A^{c}\cap B^{c})^{c}