!(a and b) and (a or b)