(x or y) and (x or !y