simplify (A or B) and (not A or C) and (B or C)