Равенство формул
 

Подскажите в какую сторону копать с определением равенства двух формул.Есть формула эталон и нужно проверить, равна ли ей другая формула.При условии существования отношений коммутативности, ассоциативности и дистрибутивности выглядит довольно непросто(