Источник TeX:

A,\: \bar{A}\cdot B,\: \overline{A+B}