Метод минимизирующих карт

Метод минимизирующих карт (Гарвардский метод) по существу представляет собой тот же метод неопределенных коэффициентов, только записанный в более удобной форме для работы при ручном способе минимизации.

Пусть функция f(x₁, x₂, x₃) задана в виде ДСНФ. Тогда составим следующую таблицу 1.11:

Таблица 1.11 -

Эта таблица представляет более компактную запись системы уравнений (1.54). Только вместо коэффициентов К в соответствующие клетки таблицы записаны сами конъюнкции.

Покажем теперь, что если в ДСНФ функции не входит какая-либо из восьми конъюнкций последнего столбца, то в МДНФ этой функции не может входить ни одна из конъюнкций соответствующей строки таблицы.

Пусть, например, в ДСНФ функции не входит конъюнкция x₂ x₃. Покажем тогда, что в МДНФ не может входить член х₃ (аналогично для других конъюнкций строки)

Таким образом, если бы в МДНФ входил член c х₃ то в ДСНФ входил бы член х₂ х₃, что противоречит условию.

Итак, основное свойство вышеприведенной таблицы установлено. С помощью этой таблицы, которая носит название минимизирующей карты, по ДСНФ некоторой функции находится ее МДНФ по следующим правилам:

а) все строки таблицы, которые соответствуют конъюнкциям правого столбца, отсутствующим в ДСНФ рассматриваемой функции, вычеркиваются;

б) в каждом столбце в оставшихся после этого строках вычеркиваются все элементы, попавшие в вычеркнутые ранее строки;

в) в каждой из невычеркнутых строк выбирается незачеркнутая конъюнкция, содержащая минимальное число членов;

г) взяв по одной конъюнкции из всех невычеркнутых строк, соединив все их знаками дизъюнкций и приведя подобные члены, мы получим МДНФ.

Рисунок 1.8 – Минимизирующая карта

Пункт «в» этих правил показывает, что построение по ДСНФ соответствующей МДНФ есть процесс неоднозначный, так как выбор минимальных конъюнкций в строках не детерминирован. Однако все получаемые результаты будут «одинаково минимальны».

Рассмотрим пример минимизации функции, ДСНФ которой имеет вид:

Строим для этой функции минимизирующую карту (рисунок 1.8).

По вышеприведенным правилам получаем следующую минимальную дизъюнктивную нормальную форму:

Рассмотрим еще один пример минимизации функции:

Рисунок 1.9 – Минимизирующая карта

Минимизирующая карта для этой функции имеет следующий вид (рисунок 1.9).

Из этого примера следует, что минимизируемая функция имеет две МДНФ. Для получения одной из них необходимо взять из карты конъюнкции, обведенные сплошной рамкой, а для другой — конъюнкции, обведенные пунктирной рамкой. Эти минимальные формы представляются следующим образом:

и

Методы минимизирующих карт и неопределенных коэффициентов характеризуются тем, что для минимизируемой функции выписываются все возможные конъюнкции, которые могут входить в ДНФ этой функции. Это приводит к громоздкости записи при использовании таких методов для функций с большим числом аргументов. Число строк минимизирующей таблицы (или число уравнений в системе (1.54)) равно 2^п, а число столбцов таблицы (число членов в левой части системы (1.54), равно 2^п-1. Это показывает, что уже для п порядка восьми-девяти использование этих методов становится практически невозможным.