Любое хорошее логическое выражение simplifiers там? [закрытый]

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

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

((A ИЛИ B) И (!B И C) ИЛИ В)

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

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

спасибо.

3 96
boolean-logic boolean-expression

3 ответа:

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

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

85

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

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

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

15

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

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

5