logo search
Ekz_put_vidpovidi_vse

Мінімізація функції алгебри логіки методом Квайна.

У разі збільшення числа змінних для мінімізації функцій алгебри логіки використовують методи, які мають однозначність алгоритму. До таких методів належить метод Квайна. Здійснюється в такі етапи: складаємо таблицю та знаходимо імпліканти на ранг нижче ніж члени які входять у ДДНФ; виконуємо операцію поглинання, тобто Х+Х = Х; розставляємо мітки, у рядок записуємо первинні імпліканти, а у стовпчики мінтерми ДДНФ; якщо у якомусь із стовпчиків є одна мітка то первинна імпліканта є суттєвою, та без неї не можна отримати всі множини заданих мінтермів; вибираємо мінімальне покриття, тобто записуємо декілька імплікантів, щоб всі вони разом мали по одній мітці в кожному стовпчику. Тоді мінімальна форма заданої функції складається з суми цих імплікант.