(x AND y) OR (NOT y), x OR (NOT y)