Źródło TeX:
\neg F \cup \neg F = \neg F