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