TeX Quellcode:

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