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

http://pascal.sources.ru/parsing/minibool.htm

Спасибо, попробую применить это к своей задаче

не сильно че то понятно как она минимизирует, и как применить это к моей задаче ?