Логические выражения Опции

[Катя]

Помогите пожалуйста!Мне выдали задание,а сама я его точно не сделаю,вся надежда на вас.Заранее спасибо.
Задание:
Написать программу, которая на входе получает два произвольных логических выражения и проверяет, представляют ли они одну и ту же функцию. Входной язык должен включать отдельные буквы(логические переменные) ,операнды И,ИЛИ и не и скобки.Каждое выражение должно помещаться на одну входную линию. Программа вычисляет таблицы истинности для обеих функций и сравнивает их.

[volvo]

Катя, она же rol5en... Насколько я помню, тема уже поднималась:
Булевские ф-ции -> упрощение булевских ф-ций

Есть какие-то наработки с того времени, или так и будем ждать, что кто-то придет и сделает программу полностью?

[Катя]

Не Rolsen-младший брат,я попробую сдлеать с тог,что имеется.Только думаю со скобками не получится.Программа вычисляет таблицы истинности и сравнивает их,это как?