Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Re: Как упростить логическое выражение с равенствами?
23.02.2013, 09:17
Есть разные методы построения СДНФ - карты карно, прямое упрощение логической формулы (наподобие алгебры). Так что как-то можно. Правда алгоритмы и программы автоматического преобразования не писал, но попробую 2)Тема дискуссии напомнила мне т.н Бинарные диаграммы решений (БДР)
arseniiv
Re: Как упростить логическое выражение с равенствами?
23.02.2013, 18:13
Последний раз редактировалось arseniiv 23.02.2013, 18:13, всего редактировалось 1 раз.
Есть разные методы построения СДНФ - карты карно, прямое упрощение логической формулы (наподобие алгебры). Так что как-то можно.
Ну давайте, попробуйте без построения дерева выражения! Вдруг новая область откроется.
(Оффтоп)
Бедный Карно.
eugrita
Re: Как упростить логическое выражение с равенствами?
24.02.2013, 13:49
Последний раз редактировалось eugrita 24.02.2013, 14:03, всего редактировалось 4 раз(а).
я бы начал не с алгоритма построения СДНФ а с построения программы лексического разбора логического (не арифметического) выражения. ТЗ. построить программу лексического разбора логического выражения. Допустимые операции 1 мин вариант) дизъюнкция, конъюнкция отрицание+ скобки 2 полный вар) то же+ импликация+исключающее и+эквивалентность (если угодно можно добавить и стрелку Пирса и симв.Шеффера) Метод решения. По выбору - как при анализе арифм выраженияэ а)без построения дерева но с реализацией стека преобразования к обратной польской записи и алгоритма Дейкстры б)преобразование к постфиксной записи и с построением и выводом дерева логич.выражений б*) то же что б)+ доп преобразование дерева ЛВ к сокращенной упорядоченной бинарной диаграммы решений (СУБДР). с выводом в файл или на печать