Упростите логические выражения с помощью программного обеспечения Boolean Simpifier версии 2023 года.
* Управление таблицами истинности выражений с использованием до 26 логических входов;
* Генерировать таблицы истинности со случайными выводами;
* Создание карт Карно из сгенерированных таблиц истинности;
* Преобразование булевых выражений в 64 различных типа языка булевой логики;
* Создание выражений в формате POS (произведение сумм) или SOP (сумма произведений);
* Создание выражений в формате Minterms или Maxterms;
* Упрощение выражений с помощью эвристических методов, точных или методов факторизации;
* Комбинируйте различные методы упрощения, чтобы получить выражения меньшего размера и за меньшее время.