TeX source:
\neg(A \wedge B) = (\neg A) \vee (\neg B)