{125,126,256,156,234,235,345,245,236,356}
M0()={356,256,245,236,235,125,2346,1356,1345,1246,1245},
Сравнение сформированных элементарных конъюнкций с наборами подмножества M0() показывает, что все они реализуют наборы указанного подмножества. Таким образом, R()= Ø, и оптимизация ПМФ невозможна, сформированная первичная ДНФ оптимальна.
18. α = α – 1=1.
19. Оптимизируем ПМФ и
20. Сформируем новое характеристическое подмножество , отметив наборы 1256, 2345, 2356 как неопределенные, остальные остаются без изменений.
17. Проведем оптимизацию ПМФ и
1. Сформируем вторым способом множество простых импликант f21:
{124,126,246,146,134,135,345,145,35,56,36,23,26,2,5}
Сравним полученные элементарные конъюнкции с наборами подмножества M1()={1346, 124,134,136,145,146,346, 12,15,23,24, 26,35,36,45,56}, нереализованными остаются наборы 135, 345, 126, 246, при дальнейшем их разложении на простые импликанты, получающиеся импликанты реализуют наборы указанного подмножества. Определим оптимальное покрытие по таблице покрытия:
1246 |
1345 |
356 |
236 |
25 |
|
135 |
˅ |
||||
345 |
˅ |
||||
126 |
˅ |
||||
246 |
˅ |
В результате P(f21) = {25,236,356,135,126}
4. Сформируем новое характеристическое подмножество , отметив все наборы 3 и 4 уровней, соответствующие нулевым значениям функции Ỹ2 , как неопределенные.
Далее, сформируем множество простых импликант R() ПМФ вторым способом {13,14,34,16,46,3,6,2,5}, и, сравнив их с М0()={13,14,16,25,34,46,1,3,4,6}, видно, что все они покрывают наборы указанного подмножества и, следовательно, не могут быть включены в множество простых импликант.
Оптимизация ПМФ невозможна, первичная ДНФ оптимальна.
18. α = α – 1=0.
19. Оптимизация завершена.
Получено представление ФАЛ Ỹ2:
Ỹ2=
Первый цикл формирования ПМФ:
1. α=1.
2. Несущественные переменные отсутствуют.
3. K1=1.
7. D1=0.
11. Подмножества M1(Ỹ3), M0(Ỹ3) в декомпозиционной таблице разбиты на подмножества по числу j неинверсных переменных в наборах и упорядочены в порядке убывания j.
12. jmin=1.
13.Сформируем ПМФ и
1. M0()={2,3,5,6,56, 36,35,26,23,14} , M1()={1,4,46,45,34,25,24,16,15,13,12}
Включаем в первичную ДНФ ПМФ элементарные конъюнкции 1 и 4. Далее, исключив из M12(Ỹ3) все наборы, реализуемые 1 и 4, получим M12(Ỹ3)={25 }. P()={1,4,25}.
2. Формируем подмножество W()={1256,1346,1356,2345,2346,124,125,134,145,146,245,14}
3. Поскольку W()≠Ø формируем ПМФ .
4. Формируем первичную ДНФ P() ПМФ :
M0()={1,4,46,45,34,25,24,16,15,13,12}
M1()={1256,1346,1356,2345,2346,124,125,134,145,146,245,14}. Включаем в первичную ДНФ ПМФ элементарную конъюнкцию 14. Далее, исключив из M12(), M13(), M14() все наборы, реализуемые импликантой 14, получим M12()= Ø, M13()={125,245),
M14() ={2346,2345,1356,1256}. Конъюнкции неинверсных переменных всех наборов M13() включаем в первичную ДНФ ПМФ. Потом исключаем из M13(), M14() все наборы, реализуемые импликантами {125,245}. P ()={14,125,245}.
5. Принимаем e=2.
6. Формируем множество Q12(Ỹ3)={356,236}.
7. Поскольку Q12(Ỹ3) ≠Ø , переходим к расширению первичной ДНФ ПМФ
8. .
9. W()=2346, 1356.
10. Поскольку W() ≠Ø, необходима корректировка ПМФ
11. M1()= 2346, 1356.
12. Корректировка первичной ДНФ ПМФ
P() = {14,125,245,2346,1356}
13. Корректируем первичную ДНФ ПМФ : P()={1,4,25,356,236},
Процесс формирования ПМФ и окончен, т. к. единичное характеристическое подмножество Ỹ3 не содержит наборов с числом неинверсных переменных j>4.
14. Сократим M1(Ỹ3),исключив наборы, реализованные композицией сформированных ПМФ: M1(Ỹ3)={1245, 1246,1345}
15. Поскольку M1(Ỹ3) ≠Ø необходим еще цикл декомпозиции.
16. α=2, переходим к очередному циклу декомпозиции
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.