(Not(A) or B) and ( A or C)