This is LaTeX code:

[latex]
 
((\neg A \wedge \neg B) \vee C) \wedge ((A \wedge B) \vee \neg C) =\\
((\neg A \wedge \neg B) \wedge (A \wedge B)) \vee ((\neg A \wedge \neg B) \wedge \neg C) \vee (C \wedge (A \wedge B)) \vee (C \wedge \neg C) =\\
((\neg A \wedge \neg B) \wedge \neg C) \vee (C \wedge (A \wedge B)) =\\
(\neg A \wedge \neg B \wedge \neg C) \vee (A \wedge B \wedge C)
 
[/latex]