Сумматор по модулю 9 двух двоичных трехразрядных кодов, страница 10

Формирование множества простых импликант ПМФ  f21

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

14

-

0

-

15

-

2

+

23

123

1

-

24

-

2

+

25

-

0

-

34

345

1

-

36

-

0

-

45

345

0

-

46

456

1

-

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

2

12

2

-

3

13

2

-

4

-

4

+

6

16

1

-

Таблица покрытия ПМФ f21

45

246

156

135

15

4

Формирование множества простых импликант ПМФ  f11

Используем первый из способов формирования множества простых импликант, заключающийся в переборе элементарных конъюнкций неинверсных переменных наборов, на которых ПМФ f11 не определена, и проверка возможности их включения в множество простых импликант.

Поскольку первичная ДНФ ПМФ f11 содержит элементарные конъюнкции только первого и второго ранга, её оптимизация возможна за счёт элементарных конъюнкций первого ранга.

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

4

34

*

-

Следовательно, оптимизация невозможна.

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