TeX source:
(x\land y)\lor (\neg x\land \neg y)