Źródło TeX:

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