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