Высказывания и алгебра логики: операции, таблицы истинности и построение логических выражений
Цели и задачи
- Цель по SMART: к концу урока научиться определять значение логических выражений, строить для них таблицы истинности, выполнять эквивалентные преобразования и восстанавливать логическое выражение по заданной таблице истинности.
- Познакомить учащихся с высказываниями, логическими операциями инверсии, конъюнкции, дизъюнкции, импликации и эквиваленции, а также с их таблицами истинности.
- Сформировать умение переводить между логическими операциями и операциями над множествами, применять основные законы алгебры логики.
- Развивать алгоритмическое, критическое и исследовательское мышление через парную и групповую работу с логическими выражениями.
- Воспитывать точность записи, ответственность за результат совместной работы и осознанное отношение к логике как основе информатики и программирования.
Планируемые результаты
Личностные
- Осознавать значение логического мышления для программирования, анализа данных и будущей профессиональной деятельности.
- Проявлять готовность проверять собственное решение и корректно относиться к иной аргументированной позиции.
- Развивать учебную самостоятельность при выборе уровня сложности задания.
- Понимать ценность точной формулировки высказывания и однозначной интерпретации данных.
Метапредметные
- Строить план решения задачи по таблице истинности и контролировать его выполнение.
- Сравнивать логические выражения, выявлять закономерности и делать вывод об их эквивалентности.
- Работать с информацией в виде текста, формул, таблиц и диаграмм множеств.
- Аргументировать решение в паре и группе, распределять роли и представлять общий результат.
Предметные
- Знать определения высказывания и логических операций $¬A$, $A∧B$, $A∨B$, $A→B$, $A↔B$.
- Уметь строить таблицы истинности для выражений с двумя и тремя переменными.
- Уметь применять законы идемпотентности, двойного отрицания, коммутативности, ассоциативности, дистрибутивности и де Моргана.
- Уметь сопоставлять логические операции с пересечением, объединением и дополнением множеств.
- Уметь восстанавливать логическое выражение по заданной таблице истинности.
Универсальные учебные действия (УУД)
Личностные УУД
- Определяют личную цель изучения алгебры логики в связи с задачами информатики и программирования.
- Осознают необходимость точности, последовательности и доказательности при работе с формулами.
- Оценивают собственную готовность к выполнению базового и повышенного уровня задания.
- Проявляют уважение к мнению партнёров при обсуждении способов решения.
Регулятивные УУД
- Формулируют цель урока на основе проблемной ситуации.
- Планируют последовательность построения таблицы истинности.
- Сверяют промежуточные результаты с эталоном и находят ошибочные строки.
- Корректируют решение после взаимопроверки и оценивают степень достижения цели.
Познавательные УУД
- Классифицируют высказывания и логические операции по их свойствам.
- Строят модели логических выражений в виде таблиц и диаграмм множеств.
- Устанавливают причинно-следственные связи между операцией и значением выражения.
- Преобразуют информацию из таблицы истинности в формулу и обратно.
Коммуникативные УУД
- Распределяют роли в группе: координатор, вычислитель, контролёр и докладчик.
- Формулируют вопросы к решению другой группы и аргументируют собственный вывод.
- Договариваются о единой записи таблицы и согласуют результаты.
- Корректно разрешают расхождения при взаимопроверке.
Подготовка учителя к уроку
- Подготовить презентацию с проблемным вопросом, обозначениями операций и пустыми таблицами истинности.
- Распечатать карточки трёх уровней сложности: базовые операции — по одной на ученика, составные выражения — по одной на пару, исследовательские задания — по одной на группу.
- Подготовить листы формата А3, маркеры и стикеры для четырёх групп.
- Вывести на доску памятку: порядок выполнения операций $¬$, $∧$, $∨$, $→$, $↔$ и алгоритм построения таблицы истинности.
- Подготовить эталонные таблицы операций инверсии, конъюнкции, дизъюнкции, импликации и эквиваленции для поэтапного открытия.
- Распечатать карточки с таблицами множеств и диаграммами Эйлера — по одной на пару.
- Подготовить индивидуальный лист самооценки и билет на выход — по одному на ученика.
- Проверить работу проектора или интерактивной доски; подготовить таймер на 3–5 минут для парных и групповых заданий.
Ход урока
Этап 1. Организационный момент и мотивация (5 мин)
Цель этапа: включить учащихся в исследовательскую деятельность и показать практическую значимость логики.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель приветствует класс и показывает на экране условие: «Система пропускает пользователя, если введён правильный пароль и подтверждён код, либо если включён режим администратора. Как записать это однозначно?» Учитель уточняет: «Сегодня нам понадобится не угадывать смысл, а формально описывать условия». | Читают условие, выделяют простые высказывания, предполагают: «Нужны логические операции И, ИЛИ и отрицание». |
3 мин | Учитель организует приём «Подумай — обсуди в паре — поделись»: «Сначала запишите индивидуально, какие слова связывают условия. Затем обсудите с соседом и предложите одну точную формулу». Учитель фиксирует на доске варианты и не объявляет сразу правильный. | Записывают обозначения $A$, $B$, $C$, обсуждают формулу в парах и предлагают варианты, например $(A∧B)∨C$. |
Завершение этапа: учитель подводит итог: «Мы увидели, что естественный язык допускает разные трактовки. Сегодня мы научимся переводить высказывания в точные логические выражения и проверять их таблицами истинности».
Этап 2. Актуализация знаний и выявление затруднения (10 мин)
Цель этапа: актуализировать понятия высказывания, истинности и переменной, зафиксировать затруднение при вычислении составного выражения.
Время | Действие учителя | Действие учеников |
|---|---|---|
4 мин | Учитель проводит фронтальный опрос: «Высказывание — это предложение, о котором можно сказать, истинно оно или ложно. Я буду читать примеры: определите, являются ли они высказываниями». На экране: «Москва — столица России», «Закройте окно», «$2+3=6$», «Который час?». | Отвечают: «Первое и третье являются высказываниями; первое истинно, третье ложно. Приказ и вопрос высказываниями не являются». |
3 мин | Учитель показывает выражение $¬A∨B$ и спрашивает: «Сможем ли мы определить его значение, если знаем только $A=0$, но не знаем $B$? Какой информации не хватает?» | Отвечают: «Нужно знать значение $B$; выражение зависит от двух переменных». |
3 мин | Учитель раздаёт парам карточки с выражениями $A∧B$, $A∨B$, $¬A$. «Заполните только те строки, которые можете обосновать без готовой таблицы. Отметьте знаком вопроса место затруднения». | В парах заполняют известные значения, ставят «?» в спорных случаях и формулируют затруднение: «Нужно системно перебрать все наборы значений». |
Завершение этапа: учитель подводит итог: «Мы вспомнили, что логическое выражение имеет значение истина или ложь, но для составных выражений нужен полный перебор вариантов. Сформулируем план, который позволит выполнять такой перебор без пропусков».
Этап 3. Постановка проблемы и целеполагание (5 мин)
Цель этапа: сформулировать учебную задачу и определить последовательность открытия нового знания.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель задаёт проблемный вопрос: «Как по таблице истинности доказать, что два разных выражения задают одну и ту же логическую функцию? И как построить выражение, если дана только таблица?» | Формулируют предположения: «Нужно сравнить значения во всех строках»; «Нужно выделить строки, где функция истинна». |
3 мин | Учитель записывает на доске план: «1. Повторить операции. 2. Построить таблицы. 3. Проверить законы. 4. Научиться восстанавливать формулу». Просит добавить критерии успеха. | Дополняют критерии: «Не пропускать наборы значений; соблюдать порядок операций; уметь объяснить каждую строку». |
Посмотрите план целиком
Зарегистрируйтесь — и откройте план урока по этой теме полностью: цели, ход урока и рефлексия по ФГОС.
Завершение этапа: учитель подводит итог: «Цель определена: от отдельных операций мы перейдём к сложным выражениям и обратной задаче — построению формулы по таблице. Начнём с общего языка логических операций».
Этап 4. Открытие нового знания: операции и таблицы истинности (18 мин)
Цель этапа: вывести и систематизировать таблицы истинности основных логических операций.
Время | Действие учителя | Действие учеников |
|---|---|---|
5 мин | Учитель поэтапно открывает на доске таблицы: «Инверсия меняет значение на противоположное: $¬A$. Конъюнкция истинна только при двух истинных операндах: $A∧B$. Дизъюнкция ложна только при двух ложных операндах: $A∨B$. Запишите смысл каждой операции словами». | Записывают определения и таблицы, проговаривают: «$¬A$ — не A; $A∧B$ — A и B; $A∨B$ — A или B». |
5 мин | Учитель предлагает группе учащихся проверить импликацию: «Импликация $A→B$ означает: если A, то B. Почему она ложна только в случае $A=1$, $B=0$? Рассмотрите бытовой пример обещания». | В группах обсуждают пример «Если выполню работу, получу отметку» и формулируют: «Нарушение происходит, когда условие истинно, а результат ложно». |
4 мин | Учитель объясняет эквиваленцию: «$A↔B$ истинна, когда значения совпадают. Сравните её с условием равенства». Показывает таблицу на экране и просит найти строки со значением 1. | Находят строки $(0,0)$ и $(1,1)$, записывают определение эквиваленции. |
4 мин | Учитель проводит фронтальную проверку: «Покажите пальцами номер строки, в которой $A∨B=0$; объясните, почему $A→B=1$ при $A=0$». | Поднимают карточки с номерами строк, отвечают: «Дизъюнкция равна нулю только при $A=0$, $B=0$»; «При ложном условии импликация считается истинной». |
Запись в тетрадях
Записать обозначения и смысл операций: $¬A$ — инверсия; $A∧B$ — конъюнкция; $A∨B$ — дизъюнкция; $A→B$ — импликация; $A↔B$ — эквиваленция. Для двух переменных выписать наборы $00$, $01$, $10$, $11$.
Завершение этапа: учитель подводит итог: «Теперь у каждой операции есть точное правило и таблица. Следующий шаг — научиться соединять операции в сложное выражение и не путаться в порядке вычислений».
Этап 5. Логические выражения, множества и законы алгебры логики (17 мин)
Цель этапа: установить связи между логическими операциями и операциями над множествами, применить законы эквивалентных преобразований.
Время | Действие учителя | Действие учеников |
|---|---|---|
5 мин | Учитель показывает две диаграммы Эйлера: «Пусть $A$ и $B$ — множества. Какая область соответствует $A∧B$? Какая — $A∨B$? Что обозначает $¬A$ относительно универсального множества?» | В парах сопоставляют формулы и диаграммы: «$A∧B$ — пересечение, $A∨B$ — объединение, $¬A$ — дополнение». |
6 мин | Учитель организует групповую работу «Мозаика»: каждой группе выдаётся один закон — двойного отрицания, коммутативности, дистрибутивности или де Моргана. Инструкция: «Объясните закон словами, преобразуйте левую часть в правую и проверьте его по таблице». | В группах заполняют лист А3, строят две колонки значений и готовят объяснение закона. Докладчики представляют результат классу. |
6 мин | Учитель разбирает выражение $¬(A∨B)∨A$: «Сначала определите порядок операций. Затем примените закон де Моргана и проверьте результат таблицей». | Фронтально предлагают шаги: $¬(A∨B)=¬A∧¬B$; затем $(¬A∧¬B)∨A$. Сравнивают преобразование с таблицей истинности. |
Эталон решения
Для выражения $¬(A∨B)∨A$: 1) применяем закон де Моргана: $¬(A∨B)=¬A∧¬B$; 2) получаем $(¬A∧¬B)∨A$; 3) строим столбцы $A$, $B$, $A∨B$, $¬(A∨B)$, $¬(A∨B)∨A$; 4) сравниваем итоговый столбец с выбранным эквивалентным выражением. Каждая строка должна быть вычислена с учётом порядка операций.
Завершение этапа: учитель подводит итог: «Мы увидели, что логические операции можно изображать множествами, а законы позволяют сокращать и преобразовывать выражения. Теперь применим эти правила к выражениям разной сложности».
Этап 6. Первичное закрепление в парах (12 мин)
Цель этапа: отработать построение таблиц истинности и применение порядка выполнения операций.
Время | Действие учителя | Действие учеников |
|---|---|---|
4 мин | Учитель раздаёт базовые карточки: «Для выражения $¬A∨B$ заполните таблицу истинности. Отдельно запишите промежуточные столбцы $¬A$ и $¬A∨B$». Напоминает: «Сначала определите все наборы значений». | В парах составляют четыре строки, вычисляют промежуточный столбец и сверяют порядок действий. |
4 мин | Учитель предлагает карточку среднего уровня: «Постройте таблицу для $(A∧B)→¬A$. Подчеркните строку, в которой импликация ложна». | Строят пять столбцов, находят ложное значение импликации и объясняют: «Ложь получается при истинном условии и ложном следствии». |
4 мин | Учитель предлагает желающим повышенный уровень: «Проверьте таблицей, эквивалентны ли выражения $A∨(A∧B)$ и $A$. Сформулируйте закон». | Решают индивидуально в паре, сравнивают итоговые столбцы и формулируют закон поглощения: $A∨(A∧B)=A$. |
Завершение этапа: учитель подводит итог: «В таблице важны не только итоговые единицы и нули, но и промежуточные столбцы. Сейчас каждый самостоятельно покажет, умеет ли строить решение без подсказки партнёра».
Этап 7. Самостоятельная работа с дифференциацией (15 мин)
Цель этапа: проверить индивидуальное владение алгоритмом построения таблиц и эквивалентных преобразований.
Время | Действие учителя | Действие учеников |
|---|---|---|
5 мин | Учитель предлагает обязательный уровень: «Постройте таблицу истинности для $A∧¬B$ и для $A∨B$. Запишите количество строк и промежуточные столбцы». | Индивидуально составляют таблицы для двух переменных, выполняют самопроверку по эталону на экране. |
5 мин | Учитель предлагает повышающий уровень: «Постройте таблицу для $(A∨B)∧¬A$ и упростите выражение с помощью закона поглощения или распределительного закона». | Индивидуально вычисляют значения, преобразуют выражение: $(A∨B)∧¬A=(A∧¬A)∨(B∧¬A)=B∧¬A$. |
5 мин | Учитель предлагает продвинутый уровень: «По таблице, где функция равна 1 только в наборах $A=0,B=1$ и $A=1,B=1$, постройте выражение и упростите его». После завершения выводит эталон. | Определяют функцию как $B$, составляют совершенную дизъюнктивную форму $(¬A∧B)∨(A∧B)$ и упрощают её до $B$. |
Эталон решения
Для продвинутого задания: строки со значением 1 дают конъюнкции $(¬A∧B)$ и $(A∧B)$. Соединяем их дизъюнкцией: $(¬A∧B)∨(A∧B)$. Выносим $B$: $B∧(¬A∨A)=B∧1=B$. Следовательно, искомая функция задаётся выражением $B$.
Завершение этапа: учитель подводит итог: «Мы проверили три уровня работы: построение таблицы, преобразование выражения и восстановление формулы по единичным строкам. Осталось обобщить алгоритм и ответить на исходный вопрос урока».
Этап 8. Обобщение, рефлексия и домашнее задание (8 мин)
Цель этапа: обобщить алгоритмы, оценить достижение цели и определить дальнейшую работу.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель проводит фронтальное обобщение: «Назовите алгоритм построения таблицы истинности. Сколько строк будет у таблицы для трёх переменных? Как восстановить выражение по строкам, где функция равна 1?» | Отвечают: «Определить переменные; выписать все наборы; создать промежуточные столбцы; вычислить результат». «Для трёх переменных будет восемь строк». «Для каждой единичной строки записать конъюнкцию и соединить их дизъюнкцией». |
3 мин | Учитель раздаёт лист самооценки и проводит «Светофор»: «Зелёный — могу построить таблицу и объяснить операцию; жёлтый — нужна тренировка; красный — требуется разбор с учителем». | Выбирают цвет, отмечают в листе умения, записывают конкретное затруднение: «Путаю импликацию», «Забываю промежуточные столбцы» или «Умею строить СДНФ». |
2 мин | Учитель объясняет домашнее задание и билет на выход: «Перед выходом запишите, чем отличаются $A→B$ и $A↔B$, и приведите одну пару эквивалентных выражений». | Записывают домашнее задание, сдают билет на выход с кратким ответом. |
Критерии оценивания практической работы
- «5» — полностью и без ошибок выполнено базовое задание, корректно построена таблица повышенного уровня или восстановлено выражение по таблице, соблюдён порядок операций и приведено объяснение.
- «4» — выполнено основное задание и большая часть повышенного; допущена одна вычислительная или оформительская ошибка, не нарушающая общий алгоритм.
- «3» — правильно определены переменные и составлена не менее половины строк таблицы, но допущены ошибки в промежуточных столбцах или интерпретации операции.
- Ниже «3» — отсутствует последовательный алгоритм построения таблицы либо неверно определены значения большинства логических операций.
Рефлексия
Вопрос для ученика | Цель вопроса |
|---|---|
Какой алгоритм построения таблицы истинности вы теперь можете выполнить самостоятельно? | Проверка осознания последовательности действий. |
Какая операция оказалась наиболее сложной: импликация, эквиваленция или составное выражение? Почему? | Выявление точек затруднения в понимании смысла операций. |
Как по таблице истинности построить логическое выражение? | Проверка понимания обратного перехода от модели к формуле. |
Какой уровень домашнего задания вы выбираете и какую помощь планируете использовать? | Развитие самооценки, планирования и учебной самостоятельности. |
Завершающее слово учителя
«Сегодня мы научились рассматривать высказывания как значения логических переменных и строить для выражений точные таблицы истинности. Мы выяснили, что импликация ложна только при истинном условии и ложном следствии, а эквиваленция истинна при совпадении значений. Важно не пропускать промежуточные столбцы и соблюдать порядок операций. На следующем уроке мы продолжим работу с логическими функциями и применим их к задачам информатики и программирования».
Домашнее задание
Уровень | Что задать | Зачем |
|---|---|---|
Базовый (обязательный) | Выполнить 4 задания на построение таблиц истинности для выражений с инверсией, конъюнкцией, дизъюнкцией и импликацией; в каждом решении выделить промежуточные столбцы. | Закрепляет значения основных операций и алгоритм полного перебора; при проверке смотреть на количество строк и порядок вычислений. |
Средний (повышающий) | Выполнить 3 задания на доказательство эквивалентности выражений с использованием законов де Моргана, дистрибутивности и поглощения; подтвердить один результат таблицей истинности. | Развивает навык преобразования и проверки формул; при проверке учитывать обоснование каждого шага. |
Продвинутый (дополнительный) | По двум заданным таблицам истинности построить логические выражения через совершенную дизъюнктивную нормальную форму и упростить их с помощью законов алгебры логики. | Формирует умение переходить от табличного представления к формуле и видеть скрытую структуру логической функции. |
Контрольные вопросы перед выходом: «Что называется высказыванием? В каком случае импликация ложна? Сколько строк содержит таблица для трёх переменных? Как построить конъюнкцию по строке, где функция равна единице? Как проверить эквивалентность двух логических выражений?»
