A and not (A and not B)