Умножитель по модулю девять. Декомпозиция системы функций алгебры логики методом ПМФ, страница 3

Оптимизация невозможна, поскольку формирование R возможно только из конъюнкций первого ранга, которые входят в нулевое подмножество функции.

Оптимизация функции у4 закончена. Получено следующее представление:

3.  Декомпозиция функции .

1.  ;

2.  1 = 1,  1 = 0;

3.  Формируем функции  и .

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

5.  ;

6.  2 = 1,  2 = 0;

7.  Формируем функции  и .

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

9.  ;

10.  3 = 1,  3 = 0;

11.  Формируем функцию .

12.  , процесс декомпозиции окончен.

j

X

Этап декомпозиции

Этап оптимизации

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

6

123

456

1

1

1

1

*

*

*

*

5

123

45-

1

1

*

1

1

*

*

123

4-6

*

*

*

*

*

*

*

123

-56

0

0

1

0

0

*

0

*

12-

456

1

1

*

1

1

*

*

1-3

456

*

*

*

*

*

*

*

-23

456

0

0

1

0

0

*

0

*

4

123

4--

0

0

0

0

0

0

*

123

-5-

1

1

1

*

1

1

1

*

*

123

--6

1

*

*

*

*

*

*

12-

45-

0

0

0

0

0

0

*

12-

4-6

0

0

0

0

0

0

*

12-

-56

0

0

0

0

0

0

*

1-3

45-

0

0

0

0

0

0

*

1-3

4-6

1

1

1

*

1

*

*

*

*

1-3

-56

1

1

1

*

1

1

*

*

1--

456

0

0

0

0

0

0

*

-23

45-

0

0

0

0

0

0

*

-23

4-6

1

1

1

*

1

1

*

*

-23

-56

0

1

0

0

0

1

*

0

*

-2-

456

1

1

1

*

1

1

1

*

*

--3

456

1

*

*

*

*

*

*

3

123

---

0

0

0

0

0

0

0

12-

4--

1

*

*

*

*

1

1

12-

-5-

0

1

0

0

0

0

0

1

*

12-

--6

1

*

*

*

*

1

1

1-3

4--

0

1

0

0

0

0

0

*

1-3

-5-

0

0

0

0

0

0

0

1-3

--6

1

*

*

*

*

1

*

*

1--

45-

1

*

*

*

*

1

1

1--

4-6

0

1

0

0

0

0

0

*

1--

-56

0

1

0

0

0

0

0

1

*

-23

4--

0

1

0

0

0

0

0

1

*

-23

-5-

1

*

*

*

*

1

1

-23

--6

0

0

0

0

0

0

*

-2-

45-

0

1

0

0

0

0

0

1

*

-2-

4-6

0

0

0

0

0

0

0

-2-

-56

1

*

*

*

*

1

1

--3

45-

1

*

*

*

*

1

1

--3

4-6

1

*

*

*

*

1

*

*

--3

-56

0

0

0

0

0

0

*

---

456

0

0

0

0

0

0

0

2

12-

---

0

0

0

0

0

0

0

1-3

---

0

0

0

0

0

0

1

0

1--

4--

1

1

*

*

*

*

1

1

1

1--

-5-

*

*

*

*

*

*

*

1--

--6

1

1

*

*

*

*

1

1

1

-23

---

0

0

0

0

0

0

0

-2-

4--

*

*

*

*

*

*

*

-2-

-5-

1

1

*

*

*

*

1

1

1

-2-

--6

0

0

0

0

0

0

0

--3

4--

1

1

*

*

*

*

1

1

1

--3

-5-

0

0

0

0

0

0

0

--3

--6

0

0

0

0

0

0

1

*

---

45-

0

0

0

0

0

0

0

---

4-6

0

0

0

0

0

0

1

0

---

-56

0

0

0

0

0

0

0

1

1--

---

0

0

0

0

0

0

0

-2-

---

0

0

0

0

0

0

0

--3

---

0

0

0

0

0

0

0

---

4--

0

0

0

0

0

0

0

---

-5-

0

0

0

0

0

0

0

---

--6

0

0

0

0

0

0

0

0

---

---

0

0

0

0

0

0

0