Содержание
- 2. Дизъюнктивные нормальные формы (ДНФ) Определение 1 Утверждение 2 Доказательство
- 3. Определение 3 Общий вид элементарной конъюнкции: Конъюнкция логических переменных или их отрицаний называется элементарной конъюнкцией (ЭК).
- 4. Примеры
- 5. Теорема Любое высказывание приводимо к ДНФ. Схема приведения высказывания к ДНФ Избавиться от импликации и эквивалентности,
- 6. Пример Привести высказывание к ДНФ
- 7. Построение высказываний по таблице истинности. Совершенные дизъюнктивные нормальные формы (СДНФ) Определение 1 Пусть – некоторое множество
- 8. Определение 2 Дизъюнктивная нормальная форма называется совершенной (СДНФ), если все составляющие ее элементарные конъюнкции являются полными.
- 9. Приведение высказывания к СДНФ Теорема Высказывание, не являющееся тождественно ложным, приводимо к СДНФ. Правило приведения высказывания
- 10. Пример Построить по таблице истинности СДНФ
- 11. Задача «Вернувшись домой, Мегрэ позвонил на набережную Орфевр. - Говорит Мегрэ. Есть новости? - Да, шеф.
- 12. Решение задачи Пусть P=« Франсуа был пьян» L=«Франсуа лжет» I=«Этьен убийца» U=«Убийство произошло после полуночи» Тогда
- 13. Приложения алгебры высказываний. Исследование переключательных схем Переключательная схема — это схематическое изображение некоторого устройства, состоящего из
- 14. Переключательные схемы A F=A F=AB
- 15. Переключательные схемы Пример 1
- 16. Переключательные схемы. Пример 1
- 17. Переключательные схемы. Пример 2
- 18. Переключательные схемы. Пример 2
- 19. Задача на голосование Построить контактную схему для оценки результатов спортивного соревнования тремя судьями при условиях: судья
- 20. Задача на голосование Решение
- 21. Задачи 2. Голосуют три человека A, B, C. Предложение принимается большинством голосов, причём C - председатель,
- 23. Скачать презентацию