2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Как упростить логическое выражение с равенствами?
Сообщение23.02.2013, 18:13 
eugrita в сообщении #687199 писал(а):
Есть разные методы построения СДНФ - карты карно, прямое упрощение логической формулы (наподобие алгебры). Так что как-то можно.
Ну давайте, попробуйте без построения дерева выражения! Вдруг новая область откроется. :roll:

(Оффтоп)

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

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

 
 
 [ Сообщений: 18 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group