Будь-які добрі булеві спрощення виразів там? [зачинено]

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

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

((АБО В) І (! В І С) АБО С)

І дайте мені спрощену версію виразу, якщо така є.

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

Дякую.

Ви можете спробувати Wolfram Alpha, як у цьому прикладі, виходячи з ваших даних:

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

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

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

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

Я виявив, що Boolean Expression Reducer набагато простіше у використанні, ніж Logic Friday. Крім того, він не потребує установки та є багатоплатформенним (Java).

Також у логічній п'ятниці вираз A | Bпросто повертає 3 записи в таблиці істинності; Я очікував 4.