TeX Quellcode:

A \vee (\overline{C} \wedge \overline{B}) \vee (\overline{C} \wedge D)