A or (B and not C)