В итоге после минимизации методом Квайна – Мак-Класки имеем следующую систему выходных уравнений:
![]()
![]()
![]()
![]()
![]()
Декомпозиция системы функций алгебры логики методом ПМФ
Для синтеза воспользуемся декомпозиционной таблицей , в которой все наборы входных переменных разбиты на группы по числу j неинверсных переменных в наборах и упорядочены в порядке убывания значения j. Само значение неинверсных переменных равно 3, что является особенностью ТЗ. Поэтому метод ПМФ будет ограничиваться только одним уровнем (j=3), что говорит о невозможности перекрытия единичных наборов друг другом или 0 наборов. Также нужно заметить, что все переменные являются существенными.
Подразумевается, что все наборы, в которых j< 3 или j> 3, являются неопределенными, записывать в таблицу их не будем.
Для
:
α = 1
Kα = ![]()
Dα = 0
|
Декомпозиция |
Оптимизация |
|||||||||||
|
j |
|
|
|
|
|
|
|
F11 |
F21 |
F21 |
|
F11 |
|
3 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
|||||
|
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
1 |
1 |
0 |
1 |
0 |
0 |
0 |
||||||
|
1 |
0 |
1 |
1 |
0 |
0 |
0 |
||||||
|
0 |
0 |
1 |
1 |
0 |
1 |
0 |
||||||
|
0 |
1 |
0 |
1 |
0 |
1 |
0 |
||||||
|
1 |
0 |
0 |
1 |
0 |
1 |
0 |
||||||
|
0 |
0 |
1 |
1 |
1 |
0 |
0 |
||||||
|
0 |
1 |
0 |
1 |
1 |
0 |
0 |
||||||
|
1 |
0 |
0 |
1 |
1 |
0 |
0 |
||||||
|
0 |
1 |
1 |
0 |
1 |
0 |
0 |
||||||
|
1 |
1 |
0 |
0 |
1 |
0 |
0 |
||||||
|
1 |
0 |
1 |
0 |
1 |
0 |
0 |
||||||
|
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
|
|
0 |
1 |
1 |
0 |
0 |
1 |
0 |
||||||
|
1 |
1 |
0 |
0 |
0 |
1 |
0 |
||||||
|
1 |
0 |
1 |
0 |
0 |
1 |
0 |
||||||
|
1 |
1 |
1 |
0 |
0 |
0 |
0 |
||||||
F21=0
F11=
V
V
V![]()
Построим таблицу оптимизации:
|
№ |
Конъюнкция |
Покрываемый набор M0 |
Множество импликант |
|
1 |
56 |
- |
4 |
|
2 |
45 |
345 |
1 |
|
3 |
46 |
246 |
1 |
|
4 |
35 |
345 |
1 |
|
5 |
36 |
346 |
1 |
|
6 |
25 |
245 |
1 |
|
7 |
26 |
236 |
1 |
|
8 |
15 |
135 |
1 |
|
9 |
16 |
146 |
1 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.