Сумматор по модулю семь, страница 11

Воспользуемся декомпозиционной таблицей (табл. 16), где входные наборы представлены соответствующими двоичными комбинациями. За основу возьмём таблицу истинности устройства после замены переменных, исключив из неё все запрещённые наборы переменных и набор, в котором все переменные инверсны. Наборы отсортируем по количеству неинверсных переменных.

Табл. 16

Декомпозиционная таблица

Входные коды

Выходной код

ПМФ для y1

ПМФ для y2

ПМФ для y3

z1

z2

z3

z4

z5

z6

y1

y2

y3

0

1

1

1

0

0

1

0

0

1

v

1

v

v

1

0

1

0

1

0

0

1

0

v

v

1

v

1

1

1

0

0

0

1

0

0

1

v

1

v

v

1

1

1

1

0

0

0

0

0

0

v

1

v

1

v

1

0

0

1

1

1

0

*

*

*

v

v

v

v

0

1

0

1

0

1

*

*

*

v

v

v

v

1

0

0

0

1

1

*

*

*

v

v

v

v

0

0

0

1

1

1

*

*

*

v

v

v

0

0

0

1

1

0

1

0

1

v

v

0

0

0

1

0

1

0

1

1

v

v

0

0

0

0

1

1

1

1

0

v

v

0

1

0

1

0

0

0

1

1

v

v

1

0

0

0

1

0

0

0

1

v

1

1

0

0

1

1

0

0

0

1

0

1

v

1

1

0

0

0

0

1

1

1

0

v

v

0

0

1

0

1

0

1

0

1

v

v

0

1

0

0

0

1

1

0

0

1

v

1

1

1

0

0

0

0

1

1

0

v

v

1

0

1

0

0

0

1

0

1

v

v

0

1

1

0

0

0

0

1

1

v

v

0

0

0

1

0

0

0

0

1

1

0

0

0

0

1

0

1

0

0

1

0

0

0

0

0

1

0

1

0

1

1

0

0

0

0

0

1

0

0

1

0

1

0

0

0

0

0

1

0

1

0

0

1

0

0

0

0

0

1

1