TeX source:

A\oplus B=(A\vee B)\wedge(A\wedge B)^{c}