ОСНОВЫ ЛОГИКИ Лубочникова Анастасия Сергеевна, учитель информатики II категории Жарсуатской ОСШ. - презентация

1 ОСНОВЫ ЛОГИКИ Лубочникова Анастасия Сергеевна, учитель информатики II категории Жарсуатской ОСШ

2 ПовторениеВЫСКАЗЫВАНИЕ ЛОГИЧЕСКАЯ ОПЕРАЦИЯ Любой прямоугольник имеет прямые углы и параллельные друг другу стороны. Когда наступит лето и будет хорошая погода, мы поедем отдыхать на море. Треугольники с равными сторонами не являются равнобедренными. На следующем уроке мы будем смотреть видеофильм или писать сочинение. Завтра я должна сходить на волейбол и в библиотеку. Зимой мы обычно ходим на лыжах или катаемся на коньках на нашем пруду. Когда я вырасту и окончу школу, я буду летчиком. Я хочу собирать коллекцию наклеек или фантики от конфет.

3 AB A ^ B AB A V B AA01 10

4 Алгоритм построения таблиц истинности для сложных выражений: Определить количество переменных (простых выражений); Определить количество переменных (простых выражений); Определить количество логических операций и последовательность их выполнения (инверсия, действия в скобках, конъюнкция, дизъюнкция); Определить количество логических операций и последовательность их выполнения (инверсия, действия в скобках, конъюнкция, дизъюнкция); Определить количество строк: Определить количество строк: количество строк = 2ª + строка для заголовка, где a – количество логических переменных. Определить количество столбцов: количество столбцов = количество переменных + количество логических операций; Определить количество столбцов: количество столбцов = количество переменных + количество логических операций; Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.

5 Рассмотрим пример построения таблицы истинности для следующего сложного (составного) логического выражения: Рассмотрим пример построения таблицы истинности для следующего сложного (составного) логического выражения: А & (B V C) Сначала определяем количество столбцов в будущей таблице истинности Определяем приоритетность выполнения логических операций 1 2 3

6 Решение: Простые выражения (логические переменные): А, В, С; (3) Простые выражения (логические переменные): А, В, С; (3) Количество логических операций: ¬ А - инверсия; B C - операция дизъюнкции; ¬ А & (B C). операция конъюнкции. Всего: 3 Количество логических операций: ¬ А - инверсия; B C - операция дизъюнкции; ¬ А & (B C). операция конъюнкции. Всего: 3 Количество строк: на входе три простых высказывания: А, В, С, поэтому a=3 и количество строк = 2³ +1 = 9. Количество строк: на входе три простых высказывания: А, В, С, поэтому a=3 и количество строк = 2³ +1 = 9. Количество столбцов: 3+3=6 Количество столбцов: 3+3=6 Заполняем столбцы с учетом таблиц истинности логических операций. Заполняем столбцы с учетом таблиц истинности логических операций.

7 АBCA B V C А & (B V C) Таблица истинности:

8 Постройте таблицу истинности для логического выражения: А V B & C

9 АBC B & C А V B & C Таблица истинности:

10 А & (B V А)

11 Таблица истинности: АВА B V A A & (B V A)

12 1. Изучите новый материал по конспекту в тетради; 2. Постройте таблицу истинности для логического выражения: (А V B) & C