!a and !b