6. Декомпозиция системы функций алгебры логики методом ПМФ
1. Декомпозиция функции у4.
1.
;
2.
1 = 1,
1 = 0;
3.
Формируем функции и
.
4.
Сокращаем единичное
характеристическое подмножество, исключая наборы, реализованные композицией
сформированных ПМФ. Поскольку требуется еще один цикл декомпозиции.
5.
;
6.
2 =
1,
2 =
0;
7.
Формируем функции и
.
8.
, процесс
декомпозиции окончен.
j |
X |
Этап декомпозиции |
Этап оптимизации |
|||||||||||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
123 |
456 |
0 |
|
|
0 |
|
1 |
|
* |
|
0 |
|
|
5 |
123 |
45- |
0 |
|
|
0 |
|
* |
0 |
|
|
|||
123 |
4-6 |
1 |
|
|
1 |
1 |
1 |
1 |
* |
|
|
|||
123 |
-56 |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
12- |
456 |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
1-3 |
456 |
1 |
|
|
1 |
1 |
1 |
1 |
* |
|
|
|||
-23 |
456 |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
4 |
123 |
4-- |
0 |
|
|
0 |
0 |
0 |
|
|
||||
123 |
-5- |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
123 |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
12- |
45- |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
12- |
4-6 |
0 |
|
|
0 |
0 |
0 |
|
|
|||||
12- |
-56 |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
1-3 |
45- |
0 |
|
|
0 |
0 |
0 |
|
|
|||||
1-3 |
4-6 |
0 |
0 |
0 |
0 |
|
||||||||
1-3 |
-56 |
0 |
|
|
0 |
0 |
0 |
|
|
|||||
1-- |
456 |
0 |
|
|
0 |
0 |
0 |
|
|
|||||
-23 |
45- |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
-23 |
4-6 |
0 |
|
|
0 |
0 |
0 |
|
|
|||||
-23 |
-56 |
0 |
0 |
|
* |
0 |
|
|||||||
-2- |
456 |
0 |
|
|
0 |
|
* |
0 |
|
|
||||
--3 |
456 |
0 |
0 |
0 |
0 |
|
||||||||
3 |
123 |
--- |
0 |
0 |
0 |
0 |
|
|||||||
12- |
4-- |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
12- |
-5- |
0 |
|
1 |
0 |
|
* |
0 |
|
|
||||
12- |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
1-3 |
4-- |
0 |
0 |
0 |
0 |
|
||||||||
1-3 |
-5- |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
1-3 |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
1-- |
45- |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
1-- |
4-6 |
0 |
0 |
0 |
0 |
|
||||||||
1-- |
-56 |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
-23 |
4-- |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
-23 |
-5- |
0 |
0 |
|
* |
0 |
|
|||||||
-23 |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
-2- |
45- |
0 |
|
1 |
0 |
|
* |
0 |
|
|
||||
-2- |
4-6 |
0 |
|
1 |
0 |
0 |
0 |
|
|
|||||
-2- |
-56 |
0 |
0 |
|
* |
0 |
|
|||||||
--3 |
45- |
0 |
0 |
0 |
0 |
|
||||||||
--3 |
4-6 |
0 |
0 |
0 |
0 |
|
||||||||
--3 |
-56 |
0 |
0 |
0 |
0 |
|
||||||||
--- |
456 |
0 |
0 |
0 |
0 |
|
||||||||
2 |
12- |
--- |
0 |
0 |
0 |
0 |
||||||||
1-3 |
--- |
0 |
0 |
0 |
0 |
|
||||||||
1-- |
4-- |
0 |
0 |
0 |
0 |
1 |
||||||||
1-- |
-5- |
1 |
1 |
* |
* |
1 |
1 |
|||||||
1-- |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
-23 |
--- |
0 |
0 |
0 |
0 |
|
||||||||
-2- |
4-- |
1 |
1 |
* |
* |
1 |
1 |
|||||||
-2- |
-5- |
0 |
0 |
1 |
* |
0 |
1 |
|||||||
-2- |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
--3 |
4-- |
0 |
0 |
0 |
0 |
|
||||||||
--3 |
-5- |
0 |
0 |
0 |
0 |
|
||||||||
--3 |
--6 |
0 |
0 |
0 |
0 |
|
||||||||
--- |
45- |
0 |
0 |
0 |
0 |
|||||||||
--- |
4-6 |
0 |
0 |
0 |
0 |
|
||||||||
--- |
-56 |
0 |
0 |
0 |
0 |
|
||||||||
1 |
1-- |
--- |
0 |
0 |
0 |
0 |
||||||||
-2- |
--- |
0 |
0 |
0 |
0 |
|||||||||
--3 |
--- |
0 |
0 |
0 |
0 |
1 |
||||||||
--- |
4-- |
0 |
0 |
0 |
0 |
|||||||||
--- |
-5- |
0 |
0 |
0 |
0 |
|||||||||
--- |
--6 |
0 |
0 |
0 |
0 |
1 |
||||||||
0 |
--- |
--- |
0 |
0 |
0 |
0 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.