3.2 Минимизация методом Квайна

3.1.8 Минимизация функций методом Квайна автоматически:

Минимизация функций a, b, c, d, e, f, g в программе "Kvain" показана на рисунке 9.

Рисунок 10 - минимизация методом Квайна.

3.1.9 Минимизация функций (с, а) методом Квайна вручную:

a) Запишем СДНФ функции с:

Запишем таблицу истинности для функции с:

Таблица 1 - функция, заданная с помощью таблицы истинности

Составим множествокубов из конституент единиц в порядке возрастания количества единиц:

Определим кубы склеиванием кубов (1-го со 2-ым, 1-го с 3-им, 2-го с 4-ым, 5-го с 6-ым):

Составим таблицу покрытий для функции c:

Таблица 2 - таблица покрытий для функции с

Составим дополнительную таблицу для функции с:

Таблица 3 - дополнительная таблица для функции с

Оптимизированная функция: б) Запишем СДНФ функции f:

Запишем таблицу истинности для функции f

Таблица 4 - Функция, заданная с помощью таблицы истинности

Составим множествокубов из конституент единиц в порядке возрастания количества единиц:

Определим кубы склеиванием кубов (1-го со 2-ым, 2-го с 3-им, 3-го с 5-ым, 4-го с 6-ым, 5-го с 6-ым):

Составим таблицу покрытий для функции f:

Таблица 5 - таблица покрытий для функции f

Составим дополнительную таблицу для функции с:

Таблица 6 - дополнительная таблица для функции с

Оптимизированная функция: b