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