simplify A AND B OR A AND C