Содержание
- 2. Применение. 1 Создание нелинейно выполняющихся программ (условия, флаги, ветвления). Основные конструкции программ на многих языках. 2
- 3. Исчисление высказываний – это аксиоматическая логическая система, интерпретацией которой является алгебра высказываний. Алфавит исчисления высказываний состоит
- 4. Формулу Q = F(Х1, Х2, ..., Хn) называют логической функцией, если логическая переменная Q принимает значения
- 5. 2. Тавтологиями - истинными на всех наборах значений атомов из I. Тавтологии представляют собой схемы построения
- 6. 3. Противоречиями – если на всех наборах в I функция Ф(I) принимает значение «ложь». Говорят, что
- 7. Основные равносильности, используемые при преобразованиях:
- 8. Нормальные формы высказываний Для каждой формулы алгебры высказываний можно указать равносильную ей формулу, содержащую только отрицание,
- 9. Конъюнктивным одночленом от переменных X1,X2,…,Xn называется конъюнкция этих переменных или их отрицаний, т.е. может входить и
- 10. Дизъюнктивной нормальной формой называется дизъюнкция конъюнктивных одночленов, т.е. выражение вида K1∨K2∨…∨Kp, где все Ki, i=1,2,…,p, являются
- 11. Алгоритм построения ДНФ 1) Избавиться от всех логических операций, кроме конъюнкций, дизъюнкций, отрицания. Это можно сделать,
- 12. Алгоритм построения КНФ 1) Избавиться от всех логических операций, кроме конъюнкций, дизъюнкций, отрицания. Это можно сделать,
- 13. CДНФ Совершенная дизъюнктивная нормальная форма (СДНФ) – это ДНФ, которая удовлетворяет трём условиям: – в ней
- 14. 1 2 (¬ X1∧ X2 ∧ X3) ∨(X1∧¬ X2 ∧ X3) ∨(X1∧ X2 ∧¬ X3) ∨(X1∧
- 15. CКНФ Совершенная конъюнктивная нормальная форма (СКНФ) – это КНФ, которая удовлетворяет трём условиям: – в ней
- 17. Скачать презентацию