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

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

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

12

126

1

-

13

-

2

+

14

-

0

-

16

126

1

-

23

-

2

+

24

-

2

+

25

-

0

-

26

126

1

-

34

-

2

+

35

-

2

+

36

-

0

-

45

-

2

+

46

-

2

+

56

-

2

+

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

1

15

3

-

2

-

4

+

3

-

4

+

5

15

3

-

6

-

4

+

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

46

45

34

24

135

2

3

6

45

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

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

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

Конъюнкция

Покрываемый

Набор из М0

Количество

Покрываемых

импликант

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

14

-

-

-

25

-

-

-

36

-

-

-

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

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