Содержание
- 2. Простой конъюнкцией называется конъюнкция одной или нескольких переменных, при этом каждая переменная встречается не более одного
- 3. Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкций Пример: XYv¬Z, ABCv¬(BC)
- 4. Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ функции f(х1, х2, …,хn) от n переменных, в каждой
- 5. От всякой ДНФ легко перейти к СДНФ Пример. Х=Аv¬A^B Применим закон исключения третьего (Вv¬В)=1 X= Av¬A^B
- 6. Простой дизъюнкцией называется дизъюнкция одной или нескольких переменных, при этом каждая переменная входит не более одного
- 7. Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкций Пример. (¬AvB)C
- 8. Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ функции f(х1, х2, …,хn) от n переменных, в каждой
- 9. Каждая функция имеет единственную СДНФ (СКНФ)
- 10. Правило выполнения минимизации формулы с использованием СДНФ (СКНФ) а) записать исходную формулу посредством таблиц истинности в
- 11. Алгоритм получения СДНФ Отметить в таблице истинности исходной функции строки, в которых результат равен 1 Для
- 12. Пример. Найти СДНФ для функции F(A,B,C)=(A→B)→¬C Решение: Ответ: СДНФ(F)=¬A¬B¬C v ¬AvBv¬C v A¬B¬C v A¬BC v
- 13. Алгоритм получения СКНФ Отметить в таблице истинности исходной функции строки, в которых результат равен 0 Для
- 14. СКНФ(F)=(AvBv¬C)(Av¬Bv¬C)(¬Av¬Bv¬C)
- 15. Найти формулу для логической функции, которая дает 1, когда исходные состояния A и B различны, и
- 16. Значение для 2 и 3 строк равно 1. Запишем конъюнкции входных данных ¬A^B, A^¬B. Соединим их
- 17. По заданной таблице истинности составьте логическую функцию
- 18. По заданной таблице истинности получите СДНФ логической функции, упростите ее. Правильность проверьте сравнением таблиц истинности
- 20. Скачать презентацию