МІНІМІЗЕР ТАБЛИЦІ ІСТИНИ
Ця програма розроблена для мінімізації булевої таблиці істинності (від 2 до 8 змінних) до її найпростішої форми, використовуючи карту Карно або алгоритм Куайна-МакКласкі.
Ця програма безкоштовна і НЕ містить жодної реклами чи покупок у програмі.
Процедура карти Карно (KMap) також може надати ВСІ можливі еквівалентні мінімізовані рішення (отримані методом Петріка).
Зауважте, що через двовимірні графічні обмеження можна відобразити лише карти Карно від 2 до 4 змінних.
Рішення Квайна-МакКласкі (від 2 до 8 змінних) містить усі кроки алгоритму, включаючи «Таблицю первинних імплікантів» і «Таблицю мінімального покриття».
Після цього надається остаточна цифрова схема рішення, яка доступна в еквівалентах схеми І-АБО та NAND-NAND.
Програма не потребує дозволів.