TeX source:

P\oplus Q=(P\vee Q)\wedge\neg(P\wedge Q)