Similar presentations:
Нормальные формы для формул АВ. Лекция 4
1.
Лекция 4. Нормальныеформы.
2.
Нормальные формы для формулАВ
Для каждой формулы АВ существует равносильная формула,
содержащая лишь отрицание, конъюнкцию и дизъюнкцию. Для
нахождения её достаточно используя равносильности у,ч Теоремы 4.4,
выразить импликации и эквивалентности через отрицание, конъюнкцию
и дизъюнкцию
3.
Понятие нормальных форм4.
ТЗ: Привести по 3 примера ДНФ и КНФ5.
Совершенные нормальныеформы
6.
Дополнительные обозначения для нормальных форм7.
8.
9.
10.
11.
12.
13.
14.
ТЗ: Доказать 5.4 и 5.515.
16.
17.
18.
Получение НФ с помощью равносильныхпреобразований
Пример. Найти СДНФ для формулы
19.
ТЗ: написать алгоритмполучения СКНФ путем
равносильных
преобразований