Есть ли хорошие булевы упрощающие выражения? [закрыто]

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

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

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

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

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

Спасибо.

98 голосов | спросил mojarras 15 FebruaryEurope/MoscowbFri, 15 Feb 2013 23:42:04 +0400000000pmFri, 15 Feb 2013 23:42:04 +040013 2013, 23:42:04

3 ответа


0

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

http://www.wolframalpha.com/input/?i= ((А% 20OR% 20B)% 20and% 20 (НЕ% 20В% 20and% 20C)% 20OR% 20C ) & амп; т = crmtb01 & амп; F = гс

ответил 500 - Internal Server Error 16 FebruaryEurope/MoscowbSat, 16 Feb 2013 01:12:22 +0400000000amSat, 16 Feb 2013 01:12:22 +040013 2013, 01:12:22
0

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

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

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

ответил Axel Kemper 16 FebruaryEurope/MoscowbSat, 16 Feb 2013 01:06:21 +0400000000amSat, 16 Feb 2013 01:06:21 +040013 2013, 01:06:21
0

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

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

ответил Pawel Dubiel 6 32013vEurope/Moscow11bEurope/MoscowWed, 06 Nov 2013 14:17:46 +0400 2013, 14:17:46

Похожие вопросы

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132