Задача определить эквивалентность двух логических формул, т.е по большому счету нужно сделать их парсинг, а потом уже составить таблицы истинности и сравнить значения! По сравнению таблиц истинности проблем не, а вот по парсингу формул проблема, подскажите пожалуйста алгоритм этого действия
http://pascal.sources.ru/parsing/minibool.htm
Спасибо, попробую применить это к своей задаче
не сильно че то понятно как она минимизирует, и как применить это к моей задаче ?