Нормальные формы для формул АВ. Лекция 4 презентация

Слайд 2

Нормальные формы для формул АВ Для каждой формулы АВ существует

Нормальные формы для формул АВ

Для каждой формулы АВ существует равносильная формула,

содержащая лишь отрицание, конъюнкцию и дизъюнкцию. Для нахождения её достаточно используя равносильности у,ч Теоремы 4.4, выразить импликации и эквивалентности через отрицание, конъюнкцию и дизъюнкцию
Слайд 3

Понятие нормальных форм

Понятие нормальных форм

Слайд 4

ТЗ: Привести по 3 примера ДНФ и КНФ

ТЗ: Привести по 3 примера ДНФ и КНФ

Слайд 5

Совершенные нормальные формы

Совершенные нормальные формы

Слайд 6

Дополнительные обозначения для нормальных форм

Дополнительные обозначения для нормальных форм

Слайд 7

Слайд 8

Слайд 9

Слайд 10

Слайд 11

Слайд 12

Слайд 13

Слайд 14

ТЗ: Доказать 5.4 и 5.5

ТЗ: Доказать 5.4 и 5.5

Слайд 15

Слайд 16

Слайд 17

Слайд 18

Получение НФ с помощью равносильных преобразований Пример. Найти СДНФ для формулы

Получение НФ с помощью равносильных преобразований

Пример. Найти СДНФ для формулы

Имя файла: Нормальные-формы-для-формул-АВ.-Лекция-4.pptx
Количество просмотров: 57
Количество скачиваний: 0