A AND (B OR NOT C)