logo search
Ekz_put_vidpovidi_vse

Наведіть алгоритм мінімізації за методом Квайна і Мак-Класкі.

У разі збільшення числа змінних для мінімізації функцій алгебри логіки використовують метод Квайна і Мак-Класкі, який дає змогу мінімізувати логічну функцію будь-якого числа змінних. Алгоритм пошуку МДНФ цим методом такий:

  1. Знаходять покриття П(z) заданої функції. Для цього формують кубічний комплекс логічної функції й у кожному і-му кубічному комплексі відзначають куби (імпліканти), що не утворили і+1-й кубічний комплекс. Відзначені імпліканти, які називають простими, утворять покриття заданої логічної функції.

  2. Будують таблицю покриттів матриці Квайна. Рядки зазначеної таблиці відповідають простим імплікантам, а стовпчики - 0-кубам (конституентам одиниці) функції.

  3. Визначають покриття мінімальної вартості. Для цього:

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

- із таблиці викреслюють стовпчики і рядки, покриті імплікантами ядра Квайна.;

На перетинанні і-го рядка циклічної таблиці та імплікант, що утворюють ядро Квайна, одержують МДНФ заданої функції.