Źródło TeX:

y=\bar{a\cdot b}=\bar{a}+\bar{b}