ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Оптимизация логических выражений
14 сообщений из 14, страница 1 из 1
Оптимизация логических выражений
    #39294503
Фотография Hett
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Hett
Участник
Есть выражние записанное в строке:

Код: plaintext
((((РР && (YY || SS)) && DD) && LL) && AA)

нужно его упростить до:

Код: plaintext
(РР && (YY || SS) && DD && LL && AA)

Как такое делается?
...
Рейтинг: 0 / 0
19.08.2016, 12:12
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294517
Алиса С
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алиса С
Гость
Hett,

https://ru.wikipedia.org/wiki/Булева_алгебра
...
Рейтинг: 0 / 0
19.08.2016, 12:33
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294534
Фотография Hett
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Hett
Участник
Спасибо, я знаю как это называется.
Тут вопрос скорее практический. С какой стороны подойти? А может проекты какие-то, где это уже было реализовано.
...
Рейтинг: 0 / 0
19.08.2016, 12:57
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294545
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
Как вариант: переводить в обратную польскую запись , а вместо расчета генерить строку с формулой, скобки ставить только для подстрок имеющих операции с меньшим приоритетом.
...
Рейтинг: 0 / 0
19.08.2016, 13:12
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294561
Siemargl
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Siemargl
Участник
https://ru.wikipedia.org/wiki/Абстрактное_синтаксическое_дерево
...
Рейтинг: 0 / 0
19.08.2016, 13:27
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294625
miksoft
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
miksoft
Участник
Hett,

Под "упростить" понимается только удаление лишних скобок или минимизаций булевой функции?
...
Рейтинг: 0 / 0
19.08.2016, 14:36
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294633
Алиса С
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Алиса С
Гость
Hett,

В статье есть формулы. По ним и упрощать. Или вы хотите научить упрощать компьютер?
...
Рейтинг: 0 / 0
19.08.2016, 14:44
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294665
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Hett
Код: plaintext
(РР && (YY || SS) && DD && LL && AA)

Как такое делается?

Смотри. Упрощать здесь особо нечего. Пускай так и будет. Первый пункт
переходит ко второму на основе убирания скобок в соотвествтии с приоритетами.
Это к лог-выражениям не имеет никакого отношения. Это общие знания.

Далее. Если у тебя есть сведения о взаимо зависимостях между
предикатами PP,YY,SS,DD,LL,AA то ты должен их предоставить.

Например PP=F(YY,SS). И на основании этих сведений мы можем предложить
улучшения.

Или. Если функции PP=F1(...), YY=F2(....) и каждая из функций обладает
сложностью в вычислениях то можно провести оптимизацию
базирующуюся на скорости. Тоесть маскимально быстро вычислить
результат меняя порядок булевых функций.
...
Рейтинг: 0 / 0
19.08.2016, 15:24
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294767
Фотография Hett
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Hett
Участник
miksoftHett,

Под "упростить" понимается только удаление лишних скобок или минимизаций булевой функции?

Именно. Упростить для восприятия человеком.
...
Рейтинг: 0 / 0
19.08.2016, 19:16
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294776
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
HettmiksoftHett,

Под "упростить" понимается только удаление лишних скобок или минимизаций булевой функции?

Именно. Упростить для восприятия человеком.
Тут все сложно, надо искать золотую середину "понимания", т.к. если убрать все скобки, то будет
Код: sql
1.
YY && РР && DD && LL && AA || SS && РР && DD && LL && AA


ХЗ понятнее ли это будет человеку.
...
Рейтинг: 0 / 0
19.08.2016, 20:01
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294815
L1G
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
L1G
Участник
Hett, всё просто: сначала конвертируете в постфиксную (RPN), а потом - обратно
в стандартной реализации первой конверсии порядок аргументов точно сохраняется, а судя по
http://scanftree.com/Data_Structure/prefix-postfix-infix-online-converter
- и при обратной тоже
на той страничке и алгоритмы где-то рядом есть
только вот я не понял, почему у вас самые внешние скобки не убираются
...
Рейтинг: 0 / 0
19.08.2016, 23:26
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294821
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Hett почитай

https://ru.wikipedia.org/wiki/Законы_де_Моргана

+ законы поглощения, коммутативности, ассоциативности e.t.c.
...
Рейтинг: 0 / 0
19.08.2016, 23:36
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294861
Фотография MasterZiv
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
MasterZiv
Участник
Hett,
есть много способов.

алгебраически, по таблице истинности,
...
Рейтинг: 0 / 0
20.08.2016, 09:10
| Ответить | Цитировать | Написать  
Оптимизация логических выражений
    #39294931
scf
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
scf
Участник
Hett,

https://ru.wikipedia.org/wiki/Карта_Карно
Странно, что никто не вспомнил.
...
Рейтинг: 0 / 0
20.08.2016, 14:04
| Ответить | Цитировать | Написать  
14 сообщений из 14, страница 1 из 1
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Оптимизация логических выражений
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&fpage=27&tid=1340633]:
 0ms
get settings:
 5ms
get forum list:
 15ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 26ms
get topic data:
 10ms
get forum data:
 2ms
get page messages:
 45ms
get tp. blocked users:
 1ms
others: 270ms
total:  380ms
созд. / загр.: 380ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]