(and a (not b))