NOT(x1) AND NOT(x2) OR x1 AND NOT(x2) OR x1 AND x2