!( (V == A) and (V == B) )