This is LaTeX code:
[latex]
f=\neg(\neg Q \vee P)\wedge (P\vee \neg R)\wedge (Q\implies R)
[/latex]