Синтез цифровых схем арифметических устройств (исходные операнды - десятичные числа: Мн = 38,15, Мт = -505,1; алгоритм выполнения операции умножения: Г), страница 10

Множество Z2= { Ø }.

На третьем этапе минимизации рассматриваются только кубы из множества С2 (табл.6). Аналогично предыдущим действиям получается множество А3=С3 из 1 куба третьего порядка: X0X0X. Ну а множество Z3 включило в себя все остальные кубы, не принявшие участие в образовании новых кубов третьего порядка:

Все кубы, которые на каждом этапе не образовывали новых кубов попадают в множество

Z = Z1+Z2+Z3.

L-экстремалью называется такой куб, который покрывает некоторый первоначальный набор множества С0 (вершину первоначального куба), не покрываемую ни одним другим кубом из множества Z.

Все кубы множества С3 и Z образуют набор простых импликант. Теперь необходимо выяснить, какие кубы из данного множества являются L-экстремалями. Для этого необходимо провести операцию исключения «#» (удаления). В результате нее  составляют лишь те кубы, которые не смогли покрыться остальными, а значит они содержат в себе такую часть первоначального куба, которая не вошла в другие кубы порядка r. Данная операция приведена в таблице 7. После проведения операции удаления «#» выяснилось, что не все кубы множества Z  являются L-экстремалями, а лишь 6 из них:

x01x1    xx101  10xx1  101xx  1x10x  1xx01.

Для проверки составим еще одну таблицу исключения, в которой пересекаются множества Z и первоначальное множество наборов L. Результат этой операции сведен в таблицу 8. .После этой операции остались непокрытыми 4 набора пременных множества L:

00000     00001  00100  10000.

Необходимо составить еще одну таблицу (табл. 9), которая поможет опредеть, какой куб из множества Z (не явившийся L-экстремалью) покроет эти переменные.

Таким кубом стал куб  х0х0х. Он тоже является L-экстремалью.

табл. 9

Все полученные L-экстремали описываются функцией в СДНФ:

Для проверки составим карту Карно для множества L: