Минимизация недоопределенных ФАЛ
При синтезе устройств, реализующих не полностью заданную функцию допустимо произвольно задаваться значениями функций на запрещенных наборах аргументах.
По Квайну
- Записывается СДНФ f0, полученная после присвоения 0 всем значениям функции на запрещенных комбинациях
- Записывается СДНФ f1, полученная после присвоения 1 на всех запрещенных наборах.
- f1 приводится к сокращенной форме.
- Составляется импликантная матрица из всех членов f0 и простых импликант f1
- Искомая минимальная форма составляется из простых импликант f1поглощающих все члены СДНФ f0
Пример:
х1 |
х2 |
х3 |
f |
0 |
0 |
0 |
|
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
|
1 |
0 |
0 |
1 |
1 |
0 |
1 |
|
1 |
1 |
0 |
|
1 |
1 |
1 |
1 |
|
f0 |
||
|
|
x1x2x3 |
|
* |
* |
|
|
x2 |
* |
|
* |
x1 |
|
* |
* |
fmin=любые ,
- более выгодна так как нет инверсий
.Минимизация недоопределенных ФАЛ методом Карт Карно
На запрещенных наборах аргументов задают такие значения, при которых клетки со значением 1 охватываются минимальным числом областей с максимальным числом клеток в каждойПример:
х1 | 0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
х2 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
х3 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
f |
0 |
|
|
1 |
|
0 |
1 |
|
fmin =