Теория автоматов. Аралбаев Т.З - 14 стр.

UptoLike

14
б) преобразование формулы ЛФ к регулярному виду
432143214321
432143214321432143214321
432143214321432143214321
)()(
)(
xxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxY
в) преобразование ДНФ ЛФ в СДНФ
321321321321
321321113233221321321
)()()(),,(
xxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxfY
г) преобразование КНФ ЛФ в СКНФ
)()()()(
)()()()()()(
)()()()(),,(
321321321321
321321321321321321
321113233221321321
xxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxfY
Контрольные вопросы
1 Сформулировать законы и аксиомы булевой алгебры.
2 Сформулировать и доказать теоремы булевой алгебры.
3 Объяснить способы преобразования ДНФ в СДНФ и СКНФ.
Упражнение № 2
1 Упростить СДНФ и СКНФ ЛФ, приведенные в упражнении № 1.
2 Упростить СДНФ и СКНФ инверсных функций на примерах упражнения №
1.
           б) преобразование формулы ЛФ к регулярному виду

Y  x1 x2 x3 x4  x1 x2 x3 x4  x1 x2 x3 x4  x1 x2 x3 x4  ( x1 x2 x3 x4  x1 x2 x3 x4 ) 
x1 x2 x3 x4  x1 x2 x3 x4  x1 x2 x3 x4  x1 x2 x3 x4  ( x1  x2  x3  x4 )  ( x1  x2  x3  x4 ) 
 x1 x2 x3 x4  x1 x2 x3 x4  x1 x2 x3 x4

           в) преобразование ДНФ ЛФ в СДНФ

Y  f ( x1 , x2 , x3 )  x1  x2  x3  x1  ( x2  x2 )  ( x3  x3 )  x2  x3  ( x1  x1 )  x1  x2  x3  x1  x2 x3 
 x1  x2  x3  x1  x2  x3  x1  x2 x3  x1  x2  x3

           г) преобразование КНФ ЛФ в СКНФ

Y  f ( x1 , x2 , x3 )  x1 ( x2  x3 )  ( x1  x2  x2  x3 x3 )  ( x2  x3  x1 x1 )  ( x1  x2  x3 ) 
 ( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 ) 
( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 )  ( x1  x2  x3 )


Контрольные вопросы
1 Сформулировать законы и аксиомы булевой алгебры.
2 Сформулировать и доказать теоремы булевой алгебры.
3 Объяснить способы преобразования ДНФ в СДНФ и СКНФ.

Упражнение № 2
1 Упростить СДНФ и СКНФ ЛФ, приведенные в упражнении № 1.
2 Упростить СДНФ и СКНФ инверсных функций на примерах упражнения №
1.




14