Źródło TeX:
Y=AB+\bar{C}D+\bar{A}C