Contents

СТОРІНКИ |  |

– стискують таблицю по рядках, для чого з неї викреслюють рядки, що цілком включаються в будь-який з рядків, що залишився;

– послідовно стискаючи таблицю по рядках і стовпчиках, одержують циклічну таблицю, імпліканти якої повинні входити в покриття логічної функції мінімальної вартості.

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

Алгоритм стиску по рядках і стовпчиках можна пояснити в такий спосіб. З множини імплікант, отриманих після виключення істотних, потрібно знайти таку їхню мінімальну підмножину, що забезпечує покриття усіх одиниць, які залишилися. Якщо існує імпліканта i, що покривається імплікантою j, то імпліканта j є зайвою.

Описаний алгоритм без змін дає змогу мінімізувати логічну функцію будь-якого числа змінних, зокрема із застосуванням ЕОМ.