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