TeX Quellcode:

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