![]()
Исключаем те
наборы, которые реализуют наборы нулевого характеристического подмножества
: ![]()
Далее рассмотрим элементарные конъюнкции 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).
Ссылка на скачивание - внизу страницы.