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

UptoLike

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

14
2.2. Нормальные формы дизъюнкций и конъюнкций
Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция
любого числа элементарных конъюнкций.
Например :
zyxyzxyzx +++
.
Конъюнктивной нормальной (КНФ) называется конъюнкция любого
числа элементарных дизъюнкций.
Например :
))()(( zyxzyyxx ++++
.
Логическую функцию, заданную любым аналитическим выражением,
можно непосредственно привести к конъюнктивной нормальной форме. Для
этого необходимо выполнить следующее :
- избавиться от инверсий над целыми выражениями, перейдя к
форме, в которой имеются инверсии только отдельных
переменных;
- раскрыть скобки, применяя закон дистрибутивности;
- привести конъюнкции (дизъюнкции) к элементарным.
Пример
)()()]})([({ zxzyxzzxxf ++++++=
.
а) Избавиться от знаков инверсии, применяя законы Де Моргана:
zxzyxzzxxzxzyxzzxx
zxzyxzzxxf
+++=+++++=
=++++=
))(()]())([
)]())(([
б
)
Раскрыть
скобки
,
применяя
первый
закон
дистрибутивности
zxzxzxzzxxyxzxyzxxzxzyxzxzxxf ++++==+++= ))(( ;
в) Привести конъюнкции к элементарным
zxzyxzxxzyxzyzf +=++++= 000
.
х (у + z) = х у + х z