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