Онлайн спрощувач карт Карно

Що вміє цей інструмент

Цей спрощувач карт Карно призначений для швидкого отримання мінімальної булевої суми добутків із заданих мінтермів. Він не потребує вказувати кількість змінних — інструмент сам визначає її за найбільшим введеним індексом.

Приклад роботи

Введіть мінтерми 1,3,5,7. Інструмент визначить три змінні (A, B, C) і видасть спрощений вираз C. Це означає, що функція істинна, коли C дорівнює 1, незалежно від A і B.

Як відбувається спрощення

Інструмент перелічує всі можливі імпліканти (куби), залишає ті, що покривають лише задані мінтерми, і обирає покриття з найменшою кількістю термів, а потім з найменшою кількістю літералів. Змінні позначаються як A, B, C, D від старшого біта до молодшого. Заперечення позначається знаком оклику (!), а логічне АБО — плюсом (+).

Обмеження

Інструмент не підтримує безпідставні стани (don't-care), не будує карту Карно візуально, не видає форму POS і не виконує оптимізацію, вільну від гонок. Кількість змінних визначається автоматично, тому неможливо зберегти невикористані старші змінні.

Поширені запитання

Чи можу я ввести мінтерми з пропусками?

Так, інструмент приймає будь-які індекси від 0 до 15, навіть якщо вони не утворюють неперервний діапазон. Він обробить лише ті, що ви вказали.

Що означає вихідний вираз із знаком оклику?

Знак оклику перед змінною (наприклад, !A) позначає логічне заперечення (НЕ). Це стандартне позначення, яке використовується у вихідному виразі.

Чому інструмент не показує карту Карно?

Цей інструмент призначений лише для алгебраїчного спрощення. Він не має функції візуалізації карти Карно, тому результат подається у вигляді формули.

Чек-лист для перевірки

• Введіть мінтерми від 0 до 15.
• Переконайтеся, що індекси розділені комами або пробілами.
• Результат містить кількість змінних, список мінтермів і спрощений вираз.
• Якщо введено всі мінтерми для визначеної ширини, очікуйте константу 1.