lec2
.pdf
Алгоритм преобразования ДНФ к виду СДНФ
Красоткина
О.В.
Законы
алгебры
логики
Равносильность и эквивалентность формул
Основные
законы
алгебры
логики
Задание на дом
Нормальные
формы
формул
Дизъюнктивная и конъюнктивная нормальные формы
Совершенные
нормальные
формы
Шаг 1. Если в элементарную конъюнкцию F не входит
подформула Fi или Fi , то дополнить элементарную конъюнкцию высказыванием Fi _ Fi и выполнить преобразование формулы по закону дистрибутивности
F ^ (Fi _ Fi ) = (F ^ Fi ) _ (F ^ Fi ).
Шаг 2. Если в элементарную конъюнкцию F не входит подформула Fj или Fj , то повторить шаг 1.
Красоткина О.В.
Алгоритм преобразования КНФ к виду СКНФ
Красоткина
О.В.
Законы
алгебры
логики
Равносильность и эквивалентность формул
Основные
законы
алгебры
логики
Задание на дом
Нормальные
формы
формул
Дизъюнктивная и конъюнктивная нормальные формы
Совершенные
нормальные
формы
Шаг 1. Если в элементарную дизъюнкцию F не входит подформула Fi или Fi , то дополнить элементарную дизъюнкцию высказыванием Fi ^ Fi и выполнить преобразование формулы по закону дистрибутивности
F _ (Fi ^ Fi ) = (F _ Fi ) ^ (F _ Fi ).
Шаг 2. Если в элементарную конъюнкцию F не входит подформула Fj или Fj , то повторить шаг 1.
Красоткина О.В.
Составление формул алгебры логики по таблице истинности
Красоткина
О.В.
Законы
алгебры
логики
Равносильность и эквивалентность формул
Основные
законы
алгебры
логики
Задание на дом
Нормальные
формы
формул
Дизъюнктивная и конъюнктивная нормальные формы
Совершенные
нормальные
формы
Совершенные нормальные формы формул удобно записывать, используя таблицы истинности, по значениям пропозициональных переменных и значению описываемой формулы.
Определение
Элементарные коньюнкции СДНФ формируются для значений формулы 1. Число элементарных коньюнкций равно числу истинных значений формулы. Пропозициональные переменные, входящие в элементарную коньюнкцию, записываются без изменений, если их значение равно 1 и с логической связкой отрицания, если их значение 0.
Красоткина О.В.
Составление формул алгебры логики по таблице истинности
Красоткина
О.В.
Законы
алгебры
логики
Равносильность и эквивалентность формул
Основные
законы
алгебры
логики
Задание на дом
Нормальные
формы
формул
Дизъюнктивная и конъюнктивная нормальные формы
Совершенные
нормальные
формы
Совершенные нормальные формы формул удобно записывать, используя таблицы истинности, по значениям пропозициональных переменных и значению описываемой формулы.
Определение
Элементарные коньюнкции СКНФ формируются для значений формулы 0. Число элементарных коньюнкций равно числу ложных значений формулы. Пропозициональные переменные, входящие в элементарную дизьюнкцию, записываются без изменений, если их значение равно 0 и с логической связкой отрицания, если их значение 1.
Красоткина О.В.