A and (B or NOT C)