2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Как упростить логическое выражение с равенствами?
Сообщение23.02.2013, 09:17 


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

 Профиль  
                  
 
 Re: Как упростить логическое выражение с равенствами?
Сообщение23.02.2013, 18:13 
Заслуженный участник


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

(Оффтоп)

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

 Профиль  
                  
 
 Re: Как упростить логическое выражение с равенствами?
Сообщение24.02.2013, 13:49 


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 18 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group