Алгебра логики Скачать
презентацию
<<  Булевы функции Примеры логических функций  >>
Операции алгебры логики
Операции алгебры логики
Высказывание в логике является аналогом выражения в арифметике: В
Высказывание в логике является аналогом выражения в арифметике: В
Обозначения логических значений
Обозначения логических значений
Таблица истинности
Таблица истинности
Основные логические операции
Основные логические операции
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Например:
Например:
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Примеры строгих и нестрогих дизъюнкций:
Примеры строгих и нестрогих дизъюнкций:
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
«Студент едет в электричке или читает книгу» Обозначим: А = «Студент
«Студент едет в электричке или читает книгу» Обозначим: А = «Студент
Логическое отрицание (инверсия)
Логическое отрицание (инверсия)
Например:
Например:
При образовании сложных высказываний из простых можно использовать
При образовании сложных высказываний из простых можно использовать
Операции инверсия, конъюнкция и дизъюнкция являются основными
Операции инверсия, конъюнкция и дизъюнкция являются основными
Эквивалентность
Эквивалентность
Например:
Например:
Исключающее ИЛИ (строгая дизъюнкция)
Исключающее ИЛИ (строгая дизъюнкция)
Импликация
Импликация
Например:
Например:
21
21
Сводная таблица логических операций
Сводная таблица логических операций
Приоритет выполнения логических операций (если нет скобок)
Приоритет выполнения логических операций (если нет скобок)
Например:
Например:
Перевод логических операций на естественный язык:
Перевод логических операций на естественный язык:
Пример:
Пример:
Введем обозначения:
Введем обозначения:
Сложное высказывание: «Я достану билет или меня пригласит товарищ и не
Сложное высказывание: «Я достану билет или меня пригласит товарищ и не
Число исходных столбцов равно числу переменных (простых высказываний)
Число исходных столбцов равно числу переменных (простых высказываний)
¬А · (в + с)
¬А · (в + с)
Самостоятельная работа
Самостоятельная работа
Доказать справедливость тождества
Доказать справедливость тождества
Доказать справедливость тождества
Доказать справедливость тождества
Слайды из презентации «Логические операции» к уроку алгебры на тему «Алгебра логики»

Автор: BLV. Чтобы увеличить слайд, нажмите на его эскиз. Чтобы использовать презентацию на уроке, скачайте файл «Логические операции.ppt» бесплатно в zip-архиве размером 172 КБ.

Скачать презентацию

Логические операции

содержание презентации «Логические операции.ppt»
СлайдТекст
1 Операции алгебры логики

Операции алгебры логики

1

2 Высказывание в логике является аналогом выражения в арифметике: В

Высказывание в логике является аналогом выражения в арифметике: В

алгебре чисел из чисел при помощи операций +, -, *, / и (,) можно составлять арифметические выражения. В логике из простых высказываний (ИСТИНА, ЛОЖЬ) можно составлять логические выражения (составные высказывания) с использованием логических операций.

2

3 Обозначения логических значений

Обозначения логических значений

Например:

А, В – логические переменные, которые могут иметь значение ИСТИНА (И), ЛОЖЬ (Л). А = 2 + 2 = 4; В = рыбы живут на суше;

3

4 Таблица истинности

Таблица истинности

- Таблица, устанавливающая соответствие между возможными значениями наборов логических переменных и значениями функции.

Введем обозначения: 0 – ЛОЖЬ, 1 - ИСТИНА

4

5 Основные логические операции

Основные логические операции

И – логическое умножение, ИЛИ – логическое сложение, НЕ – логическое отрицание.

Простые высказывания могут быть связаны между собой словами И, ИЛИ, НЕ. Получившееся высказывание – сложное высказывание.

5

6 Логическое умножение (конъюнкция)

Логическое умножение (конъюнкция)

Соединение двух простых высказываний в одно составное с помощью операции И. Полученное сложное высказывание – логическое произведение (конъюнкция). Обозначение: & , ?, · , x – математическим знаком умножения или опуская его.

Таблица истинности:

Произведение двух высказываний А, В истинно тогда и только тогда, когда истинны оба высказывания.

6

7 Например:

Например:

«Солнце светит и нет дождя» Обозначим: А = «Солнце светит», В = «нет дождя». С = А?В С = «Солнце светит и нет дождя».

7

8 Логическое сложение (дизъюнкция)

Логическое сложение (дизъюнкция)

Союз ИЛИ в обиходе применим в двух различных значениях: в исключающем и неисключающем смысле. Например: «Обычно в 8 вечера я смотрю телевизор или пью чай» - союз «или» взят в неисключающем (объединительном) смысле, так как мы можем и смотреть телевизор и одновременно пить чай. «Данный глагол I или II спряжения» - союз «или» используется в исключающем (разделительном) смысле.

Разъяснение:

8

9 Примеры строгих и нестрогих дизъюнкций:

Примеры строгих и нестрогих дизъюнкций:

9

10 Логическое сложение (дизъюнкция)

Логическое сложение (дизъюнкция)

Соединение двух простых высказываний в одно составное с помощью операции ИЛИ, употребляемой в неисключающем смысле. Полученное сложное высказывание – логическая сумма (дизъюнкция). Обозначается ?, + .

Таблица истинности:

Сумма двух высказываний А, В истинна тогда и только тогда, когда истинно хотя бы одно высказывание.

10

11 «Студент едет в электричке или читает книгу» Обозначим: А = «Студент

«Студент едет в электричке или читает книгу» Обозначим: А = «Студент

едет в электричке», В = «Студент читает книгу». С = А ? В С = «Студент едет в электричке или читает книгу».

Например:

11

12 Логическое отрицание (инверсия)

Логическое отрицание (инверсия)

Присоединение частицы НЕ к сказуемому данного высказывания А, или словосочетания «неверно, что» ко всему высказыванию Полученное новое высказывание называется отрицанием высказывания А или логическое отрицание. Обозначение: ¬A, ?. Если А – истинное высказывание, то ¬A – ложное высказывание, и наоборот.

Таблица истинности:

Отрицание истинного высказывания есть ложь.

12

13 Например:

Например:

«Число 5 является делителем числа 30» Обозначим: А = «Число 5 является делителем числа 30», ? = «Число 5 НЕ является делителем числа 30». К = «Некоторые цыплята - кошки», ?К = «Неверно, что некоторые цыплята - кошки». Д = «Идет дождь», ?Д = «Неверно, что идет дождь».

13

14 При образовании сложных высказываний из простых можно использовать

При образовании сложных высказываний из простых можно использовать

несколько логических операций. Приоритет выполнения операций (если нет скобок): I – НЕ, II – И, III – ИЛИ.

14

15 Операции инверсия, конъюнкция и дизъюнкция являются основными

Операции инверсия, конъюнкция и дизъюнкция являются основными

операциями алгебры логики и называются булевыми операциями.

Существуют другие логические операции. Но они могут быть выражены через основные, поэтому их можно назвать функциями.

15

16 Эквивалентность

Эквивалентность

Обозначение: ~ Логическая связка «ТОГДА И ТОЛЬКО ТОГДА» Сложное высказывание А ~ В (А эквивалентно В) истинно тогда и только тогда, когда и А и В истинны, или когда и А и В – ложны.

A ~ b =?а ??b ? a ? в

Определение через основные функции:

Определение через основные функции:

16

17 Например:

Например:

А = Площадь квадрата больше единицы, В = Сторона квадрата больше единицы. Их соединение эквивалентностью: A ~ B = Площадь квадрата больше единицы тогда и только тогда, когда сторона квадрата больше единицы.

17

18 Исключающее ИЛИ (строгая дизъюнкция)

Исключающее ИЛИ (строгая дизъюнкция)

Обозначение: А?В Логическая связка «ЛИБО…, ЛИБО» Высказывание, соответствующее исключающему или, похоже на дизъюнкцию, но исключает одновременную истинность обоих высказываний

Строгая дизъюнкция истинна только тогда, когда одно высказывание истинно, а другое ложно.

A ? b = а ??b ? ?а ? в

Определение через основные функции:

18

19 Импликация

Импликация

Обозначение: А ? В Логическая связка «ЕСЛИ..., ТО» (логическое следование одного высказывания из другого) Импликация А?В истинна всегда, за исключением случая, когда А истинно, а В ложно.

A ? b =?а + b

A ? b =?а + b

Определение через основные функции:

19

20 Например:

Например:

А = На улице дождь. В = Асфальт мокрый. A ? B = «Если на улице дождь, то асфальт мокрый». Тогда, если идет дождь (А = 1) и асфальт мокрый (В = 1), то это правильно. Но если вам скажут, что на улице идет дождь (А = 1), а асфальт остается сухим (В = 0), то вы посчитаете это ложью. А вот когда дождя на улице нет (А = 0), то асфальт может быть и сухим, и мокрым (например, только что проехала поливальная машина).

20

21 21

21

22 Сводная таблица логических операций

Сводная таблица логических операций

22

23 Приоритет выполнения логических операций (если нет скобок)

Приоритет выполнения логических операций (если нет скобок)

23

24 Например:

Например:

?A?B?C?C?A~B ? C?A (((?A)?(B?C))?(C?A))~((B?C)?A) 1 3 2 5 4 8 6 7 ?A?B?C?C?A~B ? C?A

24

25 Перевод логических операций на естественный язык:

Перевод логических операций на естественный язык:

25

26 Пример:

Пример:

Изобразить в виде формулы суждение: «Я обязательно поеду на футбольный матч, если достану билет или меня пригласит товарищ и если не будет дождя».

Поездка на стадион зависит от условий: я достану билет – я не достану билет; меня пригласит товарищ – меня не пригласит товарищ; будет дождь –не будет дождя.

26

27 Введем обозначения:

Введем обозначения:

Б – я достану билет; ?Б – я не достану билет; П – меня пригласит товарищ; ?П – меня не пригласит товарищ; Д – будет дождь; ?Д – не будет дождя.

27

28 Сложное высказывание: «Я достану билет или меня пригласит товарищ и не

Сложное высказывание: «Я достану билет или меня пригласит товарищ и не

будет дождя».

Б ? ¬Д ? П ?¬Д или, то же самое – Б · Д + П · Д

М = б ·¬д + п ·¬д

Данное высказывание равносильно поездке на матч – М

28

29 Число исходных столбцов равно числу переменных (простых высказываний)

Число исходных столбцов равно числу переменных (простых высказываний)

– n. (в примере n = 3); Число строк равно 2n. (у нас: 2n = 23 = 8). Порядок заполнения строк для исходных столбцов: 1-й столбец. Число строк (23 = 8) делится пополам. Верхняя половина заполняется нулями, нижняя – единицами. 2-й столбец. Число строк делится на 4 части. Первая четверть заполняется 0, вторая – 1, третья – снова 0, четвертая 1. 4. В первых строках таблицы выписаны возможные наборы комбинаций значений истинности простых высказываний (А, В, С). В следующих столбцах – значения истинности последовательно выполняемых операций и окончательного результата.

Составление таблицы истинности для сложного высказывания. (Например: ?А·(В + С).) Правило:

29

30 ¬А · (в + с)

¬А · (в + с)

30

31 Самостоятельная работа

Самостоятельная работа

1. Составить таблицу истинности: М = Б ·¬Д + П ·¬Д 2. Изобразить в виде формулы: «Если сегодня будет хорошая погода, я пойду на прогулку, или буду делать уроки, если погода будет плохая.»

31

32 Доказать справедливость тождества

Доказать справедливость тождества

A + B·C = (A + B) · (A + C)

Столбцы равны. Тождество доказано.

32

33 Доказать справедливость тождества

Доказать справедливость тождества

?A + ?B = ?(A & B)

33

«Логические операции»
http://900igr.net/prezentatsii/algebra/Logicheskie-operatsii/Logicheskie-operatsii.html
cсылка на страницу
Урок

Алгебра

34 темы
Слайды
Презентация: Логические операции.ppt | Тема: Алгебра логики | Урок: Алгебра | Вид: Слайды