Boolean Simplifier 2023

Упростите логические выражения с помощью программного обеспечения Boolean Simpifier версии 2023 года.

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