Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :
Далее рассмотрим элементарные конъюнкции 3-го ранга:
Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :
Найдем оптимальное покрытие импликант первичной ДНФ. Для этого воспользуемся таблицей покрытия.
235 |
+ |
+ |
||||||
256 |
+ |
+ |
||||||
124 |
+ |
|||||||
134 |
+ |
|||||||
145 |
+ |
|||||||
146 |
+ |
Таким образом, получаем следующую оптимальную ДНФ ПМФ:
17. Оптимизируем ПМФ :
Поскольку число импликант в первичной ДНФ ПМФ невелико, используем второй способ формирования множества простых импликант.
Поскольку первичная ДНФ ПМФ содержит элементарные конъюнкции 2, 3 и 4-го рангов, ее оптимизация возможна за счет элементарных конъюнкций третьего и меньшего рангов.
Сначала рассмотрим конъюнкции 4-го ранга:
Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :
Далее рассмотрим элементарные конъюнкции третьего ранга:
Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :
Далее рассмотрим элементарные конъюнкции второго ранга:
Исключаем те наборы, которые реализуют наборы нулевого характеристического подмножества :
Таким образом, сформированная первичная ДНФ ПМФ является оптимальной:
18. . Процесс оптимизации окончен.
Получаем следующее представление ФАЛ :
Сложность данного представления ФАЛ в базисе И, ИЛИ, НЕ составляет оператор, что на 6 операторов меньше, чем при методе минимизации.
Рассмотрим процесс формирования декомпозиции функции
Воспользуемся декомпозиционной таблицей:
Входной код |
Входной код |
Выходной код |
||||||
ПМФ |
ОДНФ |
|||||||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
123 |
456 |
1 |
V |
V |
V |
V |
V |
V |
123 123 123 12- 1-3 -23 |
45- 4-6 -56 456 456 456 |
1 0 0 1 0 0 |
V V V V V V |
V V V V V V |
1 1 |
V V V V V V |
V V V V V V |
1 1 |
123 123 123 12- 12- 12- 1-3 1-3 1-3 1-- -23 -23 -23 -2- --3 |
4-- -5- --6 45- 4-6 -56 45- 4-6 -56 456 45- 4-6 -56 456 456 |
0 0 * 0 0 0 0 0 * 0 0 * 1 0 * |
V V V V V V V V V V V V V V V |
V 1 V V 1 V V V 1 1 |
V V V V V V V V V V V V V V V |
V V V V V V V V V |
||
123 12- 12- 12- 1-3 1-3 1-3 1-- 1-- 1-- -23 -23 -23 -2- -2- -2- --3 --3 --3 --- |
--- 4-- -5- --6 4-- -5- --6 45- 4-6 -56 4-- -5- --6 45- 4-6 -56 45- 4-6 -56 456 |
1 0 * 1 0 1 1 0 0 1 1 1 1 * 1 1 1 1 1 1 |
V V V V V V V V V V V V 1 V V V V V 1 V |
1 1 1 1 |
V V V V V V V V V V V V 1 V V V V V 1 V |
V 1 V V V 1 |
||
12- 1-3 1-- 1-- 1-- -23 -2- -2- -2- --3 --3 --3 --- --- --- |
--- --- 4-- -5- --6 --- 4-- -5- --6 4-- -5- --6 45- 4-6 -56 |
1 1 * 1 1 0 1 1 0 1 0 0 1 1 0 |
V V V V V V 1 V V V |
V V V V V V 1 V V V |
1 |
|||
1-- -2- --3 --- --- --- |
--- --- --- 4-- -5- --6 |
1 0 0 1 0 0 |
1 1 |
1 1 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.