Логический синтез дискретных систем управления. Чикуров Н.Г. - 26 стр.

UptoLike

Составители: 

25
Принимая во внимание клетки карт Карно, не содержащие единиц, и
поступая с ними так же, как мы поступали с клетками с единицами, можно
получить двойственную форму, т.е. конъюнктивную нормальную форму
(рис. 3.16).
Рис. 3.16. Получение конъюнктивной нормальной формы
Часто при определении работы системы при некоторой комбинации
значений входных переменных безразлично, какое будет значение выхода.
Такие комбинации называют безразличными состояниями. На карте Карно
их можно помечать знаком ~ (тильда).
Для увеличения размеров простых импликант в любые клетки,
имеющие знак ~ , можно условно помещать единицы (рис. 3.17).
Рис. 3.17. Минимизация логической функции с использованием
безразличных состояний
В большинстве реальных систем число безразличных состояний
значительно превышает число обязательных и запрещенных состояний.
Чтобы не затенять карту большим количеством знаков ~ , мы в дальнейшем
~ ~ 1
1 1 ~ ~
1 1
~ ~
421
xxxF +=
х
1
х
2
х
3
х
4
1 1
1 1
1 1
1
х
1
х
2
х
3
х
4
42143131
xxxxxxxxF ++=
a
0 0
0 0
0
0 0
х
1
х
2
х
3
х
4
42143131
xxxxxxxxF ++=
б