(a AND b) or not (a AND b)