TeX Quellcode:

{(p}\vee{q)}\Leftrightarrow\neg(\neg{p}\wedge\neg{q})