Имеется в виду не "логическую формулу", а обычную математическую формулу. Хочу сделать поисковик по формулам, следовательно sin^2(x)+sin^2(y) должно совпадать с sin^2(y)+sin^2(x), например. У меня много решенных задач, еще больше их на dxdy.com или еще на специализированных сайтах.