Презентация, доклад по информатике и ИКТ на тему Логические законы

Содержание

ЗадачиРешение задач на составление таблиц истинностиТождественные высказыванияЗакрепление понятия «Тождественные высказывания»Логические законы и правила преобразования логических выраженийРешение задач с использованием логических законов

Слайд 1Логические законы
10 класс

Логические законы10 класс

Слайд 2Задачи



Решение задач на составление таблиц истинности
Тождественные высказывания
Закрепление понятия «Тождественные высказывания»
Логические законы

и правила преобразования логических выражений
Решение задач с использованием логических законов
ЗадачиРешение задач на составление таблиц истинностиТождественные высказыванияЗакрепление понятия «Тождественные высказывания»Логические законы и правила преобразования логических выраженийРешение задач

Слайд 3Упражнение 1



Из простых высказываний: “Виктор хороший пловец” - А; “Виктор хорошо

ныряет” - В; “Виктор хорошо поет” - С, составлено сложное высказывание, формула которого имеет вид: X=(A∨C)∧(A∨B). Установить, эквивалентно ли высказывание Х высказыванию: “Виктор - хороший пловец и Виктор хорошо поет”.
Упражнение 1Из простых высказываний: “Виктор хороший пловец” - А; “Виктор хорошо ныряет” - В; “Виктор хорошо поет”

Слайд 4Упражнение 2



Равносильны ли высказывания?

Упражнение 2Равносильны ли высказывания?

Слайд 5Упражнение 3



Установить истинность высказываний:

а) ((X1→X2)→X3)∧(X3↔X1)

б) ((X→Y)∧(Y→Z))→(X→Z)

Упражнение 3Установить истинность высказываний:а) ((X1→X2)→X3)∧(X3↔X1)б) ((X→Y)∧(Y→Z))→(X→Z)

Слайд 6Тождественные высказывания



Пусть дано высказывание
и необходимо составить таблицу истинности.
Высказывание
ложно. Его истинность
не

зависит от истинности высказывания А.
Тождественные высказыванияПусть дано высказывание и необходимо составить таблицу истинности.Высказываниеложно. Его истинностьне зависит от истинности высказывания А.

Слайд 7Тождественные высказывания



Пусть дано высказывание
Высказывание
истинно,
не зависимо от истинности высказывания В.

Тождественные высказыванияПусть дано высказывание Высказываниеистинно, не зависимо от истинности высказывания В.

Слайд 8Тождественные высказывания



Высказывания, истинность которых постоянна и не зависит от истинности входящих

в них простых высказываний, а определяется только их структурой, называются тождественными.

Различают тождественно-истинные и тождественно-ложные высказывания.
Тождественные высказыванияВысказывания, истинность которых постоянна и не зависит от истинности входящих в них простых высказываний, а определяется

Слайд 9Тождественные высказывания



Если высказывание истинно при всех значениях входящих в него переменных,

то такое высказывание называется тождественно истинным (обозначается константой 1).

Если высказывание ложно при всех значениях входящих в него переменных, то такое высказывание называется тождественно ложным (обозначается константой 0).


Тождественные высказыванияЕсли высказывание истинно при всех значениях входящих в него переменных, то такое высказывание называется тождественно истинным

Слайд 10Закрепление



Докажите тождественную истину выражений

а) (X∧Y)→(X∨Y)

б) ((X→Y)∧(Y→Z))→(X→Z)

в)

ЗакреплениеДокажите тождественную истину выраженийа) (X∧Y)→(X∨Y)б) ((X→Y)∧(Y→Z))→(X→Z)в)

Слайд 111. Закон непротиворечия



Логическое произведение высказывания и его отрицания тождественно истинно:
0

1. Закон непротиворечияЛогическое произведение высказывания и его отрицания тождественно истинно:0

Слайд 122. Закон исключенного третьего



Результат логического сложения высказывания и его отрицания всегда

принимает значение истина:

1

2. Закон исключенного третьегоРезультат логического сложения высказывания и его отрицания всегда принимает значение истина:1

Слайд 133. Закон двойного отрицания



Если дважды отрицать некоторое высказывание, то в результате

мы получим исходное высказывание:
3. Закон двойного отрицанияЕсли дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание:

Слайд 144. Законы де Моргана



Для логического сложения:
Для логического умножения:

4. Законы де МорганаДля логического сложения:Для логического умножения:

Слайд 155. Правило коммутативности



В алгебре логики можно менять местами логические переменные при

операциях логического умножения и логического сложения:
5. Правило коммутативностиВ алгебре логики можно менять местами логические переменные при операциях логического умножения и логического сложения:

Слайд 166. Правило ассоциативности



Если в логическом выражении используется только операция логического умножения

или только операция логического сложения, то можно пренебрегать скобками или произвольно их расставлять:
6. Правило ассоциативностиЕсли в логическом выражении используется только операция логического умножения или только операция логического сложения, то

Слайд 177. Правило дистрибутивности



В алгебре логики за скобки можно выносить как общие

множители, так и общие слагаемые:
7. Правило дистрибутивностиВ алгебре логики за скобки можно выносить как общие множители, так и общие слагаемые:

Слайд 188. Правило равносильности



Для логического сложения:
Для логического умножения:

8. Правило равносильностиДля логического сложения:Для логического умножения:

Слайд 199. Правило исключения констант




Для логического сложения:
Для логического умножения:
1
0

9. Правило исключения константДля логического сложения:Для логического умножения:10

Слайд 20Упростить логические выражения




Полученный результат проверить с помощью таблицы истинности.

Упростить логические выраженияПолученный результат проверить с помощью таблицы истинности.

Слайд 21Домашнее задание



§ 3.2.4

Повторить §3.2.2, § 3.2.3

Выучить законы

стр. 177 № 3.9 –

3.11
Домашнее задание§ 3.2.4Повторить §3.2.2, § 3.2.3Выучить законыстр. 177 № 3.9 – 3.11

Что такое shareslide.ru?

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть