Любые хорошие булевы выражения упрощения там?

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

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

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

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

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

Спасибо.

Ответ 2

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

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

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

Ответ 3

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

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