This is LaTeX code:
[latex]
(\neg (A \vee B) \vee C) \wedge (\neg C \vee (A \wedge B))
[/latex]