ВУЗ:
Составители:
Рубрика:
58
Полученное выражение является конъюнктивной нормальной формой.
Если исходная формула содержит другие операции, то пере д
преобразованием они предварительно выражаются через дизъюнкцию,
конъюнкцию и отрицание.
2.9. СОВЕРШЕННЫЕ НОРМАЛЬНЫЕ ФОРМЫ
Если в каждом члене нормальной формы представлены все пере-
менные либо в прямом, либо в инверсном виде, то она называется
совершенной нормальной формой [2].
Доказано, что любая булева функция имеет одну и только одну со-
вершенную дизъюнктивную (СДНФ) иконъюнктивную(СКНФ) нормальную
форму.
Например:
Если какой-нибудь член φ дизъюнктивной или конъюнктивной
нормальной формы не содержит какой-либо переменной х
1
то она вводится
тождественным преобразованием.
ВСДНФ
В СКНФ
Правильность такого преобразования основывается на следующем
свойстве:
что подтверждается таблицей истинности
Таблица 2.8
Таблица истинности булевых функций х
∨
x,хх
Страницы
- « первая
- ‹ предыдущая
- …
- 56
- 57
- 58
- 59
- 60
- …
- следующая ›
- последняя »
