Совместная минимизация

Пусть V=0 для у₁; V=1 для y₂

Cmin(y₁,y₂)= ;

Z= (общий терм)

Пример:

V₁V₂=00 y₁

V₁V₂=01 y₂

V₁V₂=10 y₃

V₁V₂=11 y₄

Cmin(S)=

Общие термы:

При совместной минимизации Булевых функций система в минимальной форме может оказаться, что некоторые термы поглощаются другими, т.е. после получения минимальной формы необходимо исключить поглощаемые термы.

После получения минимального покрытия при записи минимальных форм с начала выделяются термы, общие для нескольких функций и обозначаются вспомогательными функциями (Z₁-Z₄).

В целях удобства рядом с каждым общим термом рекоммендуется проставить его принадлежность.

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

Пример:

Сmin(S)=

Для большого числа функций и их аргументов применение карт Карно для совместной минимизации выглядит затруднительным. В этом случае можно использовать следующие подходы:

1. Применение машинных методов

2. Раздельная минимизация и использование карт Карно.

3. Выделение подмножеств из функций системы для их совместной минимизации.