Source TeX:

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