Source TeX:

\bar{x \oplus y}= \bar{x}.\bar{y}+x.y