Есть ли какие-нибудь хорошие упростители логических выражений?

Я рефакторил старый код и столкнулся с несколькими условиями IF, которые были слишком сложными и длинными, и я уверен, что их можно упростить. Я предполагаю, что эти условия так сильно выросли из-за более поздних модификаций.

В любом случае, мне интересно, знает ли кто-нибудь из вас хороший онлайн-упрощение, которое я могу использовать. Меня не интересует какой-либо конкретный язык, просто упрощённый вариант, например:

((А ИЛИ Б) И (!Б И В) ИЛИ В)

И дайте мне упрощенный вариант выражения, если есть.

Я просмотрел другие подобные вопросы, но ни один из них не указал мне на хороший упрощенец.

Спасибо.


boolean-logic boolean-expression
person mojarras    schedule 15.02.2013    source источник
comment
WolframAlpha также достигает C. Никаких лишних ворот...   -  person Axel Kemper    schedule 08.10.2013
comment
Есть хороший онлайн-инструмент — tma.main.jp/logic/index_en.html.   -  person Roman Hocke    schedule 18.05.2017
comment
Другим инструментом является boolean-алгебра.com, он покажет шаги для ее решения. Например, ваш вопрос можно решить, используя только закон поглощения A+AB = A. Он не слишком сложный, поэтому, если вам нужно что-то кроме минимальной формы, вам лучше использовать другой сайт.   -  person John Smith    schedule 14.10.2019

Ответы (3)


arrow_upward
95
arrow_downward

Вы можете попробовать Wolfram Alpha, как в этом примере, на основе вашего ввода:

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc< /а>

person 500 - Internal Server Error    schedule 15.02.2013
comment
Веб-сайт не кажется таким уж подходящим для упрощения логических формул, когда они становятся немного сложнее. Попробуйте это: (((НЕ C) И (НЕ A)) ИЛИ ((НЕ B) И (НЕ C) И (НЕ D) И (НЕ A)) ИЛИ ((НЕ B) И (НЕ C) И D И A) ИЛИ (B И C И (НЕ D) И (НЕ A)) ИЛИ (B И C И D И A)) - person Albert Hendriks; 18.03.2016
comment
Верно. Странный. Его даже блюет на упрощенную версию NOT C AND NOT A OR NOT B AND NOT C AND NOT D AND NOT A OR NOT B AND NOT C AND D AND A OR B AND C AND NOT D AND NOT A OR B AND C AND D AND A. - person 500 - Internal Server Error; 18.03.2016
comment
Обратите внимание: если вам нужна таблица истинности, которая не всегда выводится для некоторых выражений, начните запрос со слов таблица истинности, за которыми следует выражение - person Belgi; 20.05.2017

arrow_upward
17
arrow_downward

Попробуйте Logic Friday 1 Он включает в себя инструменты Калифорнийского университета (Espresso и misII) и позволяет использовать их с графическим интерфейсом. Вы можете вводить логические уравнения и таблицы истинности по желанию. Он также имеет вход и выход графической схемы ворот.

Минимизация может быть двухуровневой или многоуровневой. Двухуровневая форма дает минимальную сумму произведений. Многоуровневая форма создает схему, состоящую из логических вентилей. Типы ворот могут быть ограничены пользователем.

Ваше выражение упрощается до C.

person Axel Kemper    schedule 15.02.2013
comment
Для быстрого онлайн-инструмента это действительно полезно: tma.main.jp/logic/index_en.html< /а> - person Lenar Hoyt; 06.04.2017
comment
Некоторые системы компьютерной алгебры могут упростить логические выражения с помощью алгоритма Куайна-МакКласки, например Симпи. - person Anderson Green; 26.10.2020
comment
Quine-McCluskey — дедушка двухуровневой минимизации.Эспрессо появился 30 лет спустя, в 1986 году. Было бы интересно узнать о последних разработках в этой области. - person Axel Kemper; 26.10.2020

arrow_upward
8
arrow_downward

Я обнаружил, что редуктор логических выражений намного проще в использовании, чем Logic Friday. Кроме того, он не требует установки и является мультиплатформенным (Java).

Также в Logic Friday выражение A | B просто возвращает 3 записи в таблице истинности; Я ожидал 4.

person Pawel Dubiel    schedule 06.11.2013
comment
Активируйте опцию Truthtable/Show all Rows в Logic Friday 1. В противном случае вы получите только все строки с выходным значением 1. - person Axel Kemper; 16.12.2013
comment
Внутри bexpred использует простые алгоритмы для объединения minterms. Это может быть полезно для небольших выражений, но определенно не является современным. - person Axel Kemper; 23.09.2015
comment
Для ввода A*B*(!A*B+!A*!B) эта банка возвращает SOP False, но POS True. Не совсем надежный скрипт... - person Evil; 07.12.2016
comment
ссылка битая, у кого есть рабочая ссылка? - person HJLebbink; 06.12.2017