Тема: Логические законы и правила преобразования логических выражений. - презентация

1

2 Тема: Логические законы и правила преобразования логических выражений

3 ЛОГИКА

4 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы

5 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание

6 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное

7 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то…Не

8 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то… Не Логические функции И

9 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то… Не Логические функции Эквивалентность Отрицание Дизъюнкция Конъюнкция Импликация

10 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то… Не Логические функции Эквивалентность Отрицание Дизъюнкция Конъюнкция Импликация Таблицы истинности

11 Тема: Логические законы и правила преобразования логических выражений

12

13 ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то… Не Логические функции Эквивалентность Отрицание Дизъюнкция Конъюнкция Импликация Таблицы истинности

14 Тема: Логические законы и правила преобразования логических выражений ЛОГИКА Способы Формы Понятие УмозаключениеВысказывание Простое Составное ИИли Если…то… Не Логические функции Эквивалентность Отрицание Дизъюнкция Конъюнкция Импликация Таблицы истинности Цель: Научиться применять логические законы и правила для упрощения логических выражений

15 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Формула имеет нормальную форму если в ней отсутствуют знаки: =, =>, А, (А В)

16 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Закон тождества Всякое высказывание тождественно самому себе А=А

17 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Закон непротиворечия Высказывание не может быть одновременно истинным и ложным. Если высказывание А истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания ложно. А А=0

18 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Закон исключенного третьего Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывания А и его отрицания не А всегда будет истинным. А А=1

19 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Закон двойного отрицания Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. А=А

20 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Законы Моргана (А В) = А В

21 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Правило коммуникативности А В = В А

22 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Правило ассоциативности (А В) С = А (В С)

23 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Правило дистрибутивности (А В) (А С) = А (В С)

24 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Подумаем: А А= А 1= А 0= А А= А 1= А 0= А 1 А А А 0 АF

25 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Решим задачи: Упростить логическое выражение (А В) (А В) = А (В В) Правило дистрибутивности Закон исключающего третьего = А 1= А

26 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Решим задачи: Упростить логическое выражение (X Y) (X Y) = (X Y) Закон Моргана Правило дистрибутивности = Y ( X X)= 0 Закон непротиворечия Y 0=

27 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Решим задачи: Упростить логическое выражение (X Y) (X Y) X=(X Y) (X Y) X Закон Моргана Правило дистрибутивности = X ( Y Y) X=X 1 X= 1 Закон исключающего третьего

28 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Упростить логические выражения: X Y

29 Тема: Логические законы и правила преобразования логических выражений Цель: Научиться применять логические законы, правила и зависимости для упрощения логических выражений Домашнее задание: 1. Вклеить опорный конспект в тетрадь. 2. Учебник - § 3.5, гл.3, задания 3.5, Доказать законы де Моргана с помощью таблиц истинности.

30 Рефлексия Критическая оценка: найдены недостатки, минусы Мысли без эмоций и субъективных оценок Позитивный настрой: полезно, хорошо, конструктивно Собственные эмоциональные переживания Творческий настрой: знаю где и как могу это применить Философский настрой: обобщаю, еще размышляю