{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).
Ссылка на скачивание - внизу страницы.