МІНІМАЛЬНА КОН'ЮНКТИВНА НОРМАЛЬНА ФОРМА (МКНФ) ЛОГІЧНИХ ФУНКЦІЙ

Можливі два підходи до вирішення завдання отримання МКНФ. Перший враховує ту обставину, що порожні (нульові) клітини карти Карно відповідають макстермам, логічне твір яких дає СКНФ записи вихідної функції У. Тому, об'єднуючи порожні клітини карти Карно по викладеним вище правилам, можна знайти МКНФ функції У. Другий підхід полягає в тому, що замість вихідної функції У мінімізується інверсна функція У по викладеної вище методикою. В результаті отримують мінімізовану діз'юнктівную нормальну форму (МДНФ) инверсной функції. Після цього за допомогою формул подвійності (3.15) здійснюється перехід до функції У.

ЗАСТОСУВАННЯ МЕТОДУ ГРАФІЧНОЇ МІНІМІЗАЦІЇ ЛОГІЧНИХ ФУНКЦІЙ

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

Метод мінімізації за допомогою карт Карно простий в реалізації ручним способом при невеликому числі змінних Х т логічних функцій (М < 6). Однак він втрачає свою привабливість при великому числі змінних з наступних причин:

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

Зазначених недоліків позбавлені методи Квайна, Мак-Класки, Петрика [17]. Відзначимо, що метод мінімізації за допомогою карт Карно широко використовується в подальшому для пояснення принципів побудови схем різних комбінаційних пристроїв.