(a || !a) && b