simplify !a && (a || b)