Разработка устройства суммирования по модулю девять двух двоичных трехразрядных, страница 14

Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :

Далее рассмотрим элементарные конъюнкции 3-го ранга:

Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :

Найдем оптимальное покрытие импликант первичной ДНФ. Для этого воспользуемся таблицей покрытия.

235

+

+

256

+

+

124

+

134

+

145

+

146

+

Таким образом, получаем следующую оптимальную ДНФ ПМФ:

17. Оптимизируем ПМФ :

Поскольку число импликант в первичной ДНФ ПМФ  невелико, используем второй способ формирования множества простых импликант.

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

Сначала рассмотрим конъюнкции 4-го ранга:

Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :

Далее рассмотрим элементарные конъюнкции третьего ранга:

Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :

Далее рассмотрим элементарные конъюнкции второго ранга:

Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :

Таким образом, сформированная первичная ДНФ ПМФ является оптимальной:

18. . Процесс оптимизации окончен.

Получаем следующее представление ФАЛ :

Сложность данного представления ФАЛ в базисе И, ИЛИ, НЕ составляет  оператор, что на 6 операторов меньше, чем при методе минимизации.

Рассмотрим процесс формирования декомпозиции функции

Воспользуемся декомпозиционной таблицей:

Входной код

Входной код

Выходной код

ПМФ

ОДНФ

1

2

3

4

5

6

7

8

9

123

456

1

V

V

V

V

V

V

123

123

123

12-

1-3

-23

45-

4-6

-56

456

456

456

1

0

0

1

0

0

V

V

V

V

V

V

V

V

V

V

V

V

1

1

V

V

V

V

V

V

V

V

V

V

V

V

1

1

123

123

123

12-

12-

12-

1-3

1-3

1-3

1--

-23

-23

-23

-2-

--3

4--

-5-

--6

45-

4-6

-56

45-

4-6

-56

456

45-

4-6

-56

456

456

0

0

*

0

0

0

0

0

*

0

0

*

1

0

*

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

1

V

V

1

V

V

V

1

1

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

V

123

12-

12-

12-

1-3

1-3

1-3

1--

1--

1--

-23

-23

-23

-2-

-2-

-2-

--3

--3

--3

---

---

4--

-5-

--6

4--

-5-

--6

45-

4-6

-56

4--

-5-

--6

45-

4-6

-56

45-

4-6

-56

456

1

0

*

1

0

1

1

0

0

1

1

1

1

*

1

1

1

1

1

1

V

V

V

V

V

V

V

V

V

V

V

V

1

V

V

V

V

V

1

V

1

1

1

1

V

V

V

V

V

V

V

V

V

V

V

V

1

V

V

V

V

V

1

V

V

1

V

V

V

1

12-

1-3

1--

1--

1--

-23

-2-

-2-

-2-

--3

--3

--3

---

---

---

---

---

4--

-5-

--6

---

4--

-5-

--6

4--

-5-

--6

45-

4-6

-56

1

1

*

1

1

0

1

1

0

1

0

0

1

1

0

V

V

V

V

V

V

1

V

V

V

V

V

V

V

V

V

1

V

V

V

1

1--

-2-

--3

---

---

---

---

---

---

4--

-5-

--6

1

0

0

1

0

0

1

1

1

1