A and B or not B