A and B or not C