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

Для появления единичного сигнала со старшего разряда выходного сигнала в ОЧС на вход должны прийти следующие наборы переменных, которые образуют множество С0:

Аналогично предыдущему примеру получаем множество кубов первого порядка С1 (табл. 11) с помощью операции «*». В результате нее получились множество А1=С1 из 16 кубов первого порядка:

Множество Z1= { Ø }. Все кубы множества С0 образовали новые кубы.

На втором этапе из кубов множества С1 с помощью операции «*» получили новое множество А2=С2 из 4 кубов второго порядка (табл.12):

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

На третьем этапе минимизации кубы из множества С2 не дали новых кубов и сами вошли в множество Z3:

Все кубы множества Z3 образуют набор простых импликант и являются L-экстремалями, это видно из таблицы исключения (табл. 13) и таблицы покрытий L–наборов (табл. 14).