A AND B AND NOT(C)