TeX Quellcode:

A \vee \overline{BC} \vee \overline{C}D