(x or y) and (x or not y) and (not x or y)