Оптимизация
невозможна, поскольку формирование 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 |
|||||||||||
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.