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