simplify (((A AND B) OR (A OR B)) AND C) OR (A OR C)