Элементы алгебры логики. Математические основы информатики презентация

Простые и сложные высказывания
Высказывания бывают простые и сложные.
Высказывание называется простым, если никакая его часть сама не является высказыванием.
Сложные (составные) высказывания строятся из простых с помощью логических операций.

Конъюнкция - логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
Другое название: логическое умножение.
Обозначения: ∧ , &, И
Логические операции
Таблица истинности:
Графическое представление
ПЕРЕСЕЧЕНИЕ
A
B
А&В

Операция И
Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно.
A и B
A
B

Операция И (логическое умножение, конъюнкция)
1
0
также: A&B, A ∧ B,
A and B (Pascal),
A && B (Си)
0
0
конъюнкция – от лат. conjunctio — соединение
A ∧ B

Дизъюнкция - логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
Другое название: логическое сложение.
Обозначения: V, |, ИЛИ
Логические операции
Таблица истинности:
Графическое представление
ОБЪЕДИНЕНИЕ
A
B
АVВ

Операция ИЛИ (логическое сложение, дизъюнкция)
Высказывание «A или B» истинно тогда, когда истинно А или B, или оба вместе.
A или B
A
B

Операция ИЛИ (логическое сложение, дизъюнкция)
1
0
также: A+B, A ∨ B,
A or B (Паскаль),
A || B (Си)
1
1
дизъюнкция – от лат. disjunctio — разъединение

Инверсия - логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
Другое название: логическое отрицание.
Обозначения: НЕ, ¬ , ¯ .
Логические операции имеют следующий приоритет:
инверсия, конъюнкция, дизъюнкция.
Логические операции
Таблица истинности:
Графическое представление
A
Ā

Диаграммы Венна (круги Эйлера)
A&B
AVB
A

В таблице приведены запросы к поисковому серверу. Расположите коды запросов слева направо в порядке возрастания количества страниц
Решаем задачу
Схема – Раб. Тетрадь, стр. 53

Домашнее задание от 03.10.2018
§ 1.3.2 (стр.24-27)
Конъюнкция, Дизъюнкция, Инверсия
Выучить Таблицы истинности
Логические операции
Учебник № 6 стр.38
Раб.Тетрадь № 77 стр.50
Задачи – файл Запросы ПоискСервера.docx
Планируется «Диктант» или СР