Преобразователь упорядоченного равновесного кода 3 из 6 в натуральный двоичный код, страница 7

В итоге после минимизации методом Квайна – Мак-Класки имеем следующую систему выходных уравнений:

Декомпозиция системы функций алгебры логики методом ПМФ

Для синтеза воспользуемся декомпозиционной таблицей , в которой все наборы входных переменных разбиты на группы по числу j неинверсных переменных в наборах и упорядочены в порядке убывания значения j. Само значение неинверсных переменных равно 3, что является особенностью ТЗ. Поэтому метод ПМФ будет ограничиваться только одним уровнем (j=3), что говорит о невозможности перекрытия единичных наборов друг другом или 0 наборов. Также нужно заметить, что все переменные являются существенными.

Подразумевается, что все наборы, в которых  j< 3 или j> 3, являются неопределенными, записывать в таблицу их не будем.

Для :

α = 1

Kα =

Dα = 0

Декомпозиция

Оптимизация

j

F11

F21

F21

F11

3

0

1

1

1

0

0

0

0

0

0

1

1

1

1

1

0

0

1

1

1

1

0

1

0

0

0

1

0

1

1

0

0

0

0

0

1

1

0

1

0

0

1

0

1

0

1

0

1

0

0

1

0

1

0

0

0

1

1

1

0

0

0

1

0

1

1

0

0

1

0

0

1

1

0

0

0

1

1

0

1

0

0

1

1

0

0

1

0

0

1

0

1

0

1

0

0

0

0

1

0

1

1

1

1

0

0

1

1

0

1

0

0

1

1

1

1

0

0

1

1

1

0

0

0

1

1

1

1

0

0

1

1

0

1

1

0

0

1

0

1

1

0

0

0

1

0

1

0

1

0

0

1

0

1

1

1

0

0

0

0

F21=0

F11= V  V  V

Построим таблицу  оптимизации:

Конъюнкция

Покрываемый набор M0

Множество импликант

1

56

-

4

2

45

345

1

3

46

246

1

4

35

345

1

5

36

346

1

6

25

245

1

7

26

236

1

8

15

135

1

9

16

146

1