A or B and not C