Как упростить логическое выражение с равенствами?

[eugrita]

Есть разные методы построения СДНФ - карты карно, прямое упрощение логической формулы (наподобие алгебры). Так что как-то можно.
Правда алгоритмы и программы автоматического преобразования не писал, но попробую
2)Тема дискуссии напомнила мне т.н Бинарные диаграммы решений (БДР)

[arseniiv]

eugrita в сообщении #687199 писал(а):

Есть разные методы построения СДНФ - карты карно, прямое упрощение логической формулы (наподобие алгебры). Так что как-то можно.

Ну давайте, попробуйте без построения дерева выражения! Вдруг новая область откроется.

(Оффтоп)

Бедный Карно.

[eugrita]

я бы начал не с алгоритма построения СДНФ а с построения программы лексического разбора логического (не арифметического) выражения.
ТЗ. построить программу лексического разбора логического выражения.
Допустимые операции
1 мин вариант) дизъюнкция, конъюнкция отрицание+ скобки
2 полный вар) то же+ импликация+исключающее и+эквивалентность (если угодно можно добавить и стрелку Пирса и симв.Шеффера)
Метод решения. По выбору - как при анализе арифм выраженияэ
а)без построения дерева но с реализацией стека преобразования к обратной польской записи и алгоритма Дейкстры
б)преобразование к постфиксной записи и с построением и выводом дерева логич.выражений
б*) то же что б)+ доп преобразование дерева ЛВ к сокращенной упорядоченной бинарной диаграммы решений (СУБДР). с выводом в файл или на печать