Построение таблиц истинности логических выражений. Преобразование логических выражений
Цели и задачи
- Цель по SMART: к концу урока научиться определять значения конъюнкции, дизъюнкции и отрицания, строить таблицы истинности для выражений с двумя переменными и выполнять простейшие равносильные преобразования с использованием законов логики.
- Систематизировать обозначения и правила выполнения основных логических операций: отрицания, конъюнкции и дизъюнкции.
- Научиться определять число строк таблицы истинности, составлять наборы значений переменных и вычислять промежуточные столбцы.
- Освоить преобразование выражений с двойным отрицанием, логическими константами и законами де Моргана.
- Развивать умение аргументировать вывод о равносильности выражений по результатам сравнения последних столбцов таблиц.
Планируемые результаты
Личностные
- Проявляют ответственное отношение к точности записи логических выражений и результатов вычислений.
- Понимают значение логического мышления для изучения программирования, анализа данных и подготовки к дальнейшему обучению.
- Осознают необходимость проверки полученного результата, а не только механического выполнения алгоритма.
- Проявляют готовность самостоятельно выбирать способ проверки равносильности выражений.
- Развивают учебную мотивацию через решение задач, близких к формату цифровых технологий и экзаменационных заданий.
Метапредметные
- Планируют последовательность построения таблицы истинности и контролируют выполнение каждого шага.
- Извлекают информацию из формул, таблиц и текстовых инструкций рабочего листа.
- Сравнивают способы решения: непосредственное вычисление по таблице и равносильное преобразование.
- Аргументируют выводы в парной дискуссии, используя термины «истинно», «ложно», «равносильны».
- Осуществляют самопроверку по эталону и корректируют обнаруженные ошибки.
Предметные
- Знать обозначения операций отрицания, конъюнкции и дизъюнкции.
- Уметь определять истинность выражений $A \land B$ и $A \lor B$ по значениям переменных.
- Уметь строить таблицы истинности для выражений с двумя переменными и вычислять промежуточные столбцы.
- Знать и применять двойное отрицание, законы поглощения констант и законы де Моргана.
- Уметь проверять равносильность двух выражений сравнением их значений на всех наборах переменных.
Универсальные учебные действия (УУД)
Личностные УУД
- Определяют личную учебную цель: научиться без пропусков выполнять алгоритм построения таблицы истинности.
- Осознают ценность точного формального языка при работе с информацией.
- Оценивают собственную готовность применять логические операции в новых выражениях.
- Проявляют самостоятельность при выборе способа проверки преобразования.
Регулятивные УУД
- Формулируют цель работы с рабочим листом и планируют порядок решения заданий.
- Удерживают алгоритм: определить переменные, построить наборы, вычислить промежуточные столбцы, проверить результат.
- Сверяют собственное решение с эталоном и находят место ошибки.
- Оценивают степень освоения материала по листу самооценки.
- Корректируют запись формул и порядок действий после обсуждения.
Познавательные УУД
- Классифицируют логические операции по их обозначениям и таблицам истинности.
- Устанавливают соответствие между словесным правилом, формулой и столбцом таблицы.
- Моделируют работу логического выражения в виде таблицы истинности.
- Выводят равносильные формы выражений с помощью законов двойного отрицания и де Моргана.
- Сравнивают последние столбцы двух таблиц и формулируют доказательный вывод.
Коммуникативные УУД
- Объясняют партнёру, почему конъюнкция истинна только при двух истинных операндах.
- Задают уточняющие вопросы о порядке построения таблицы.
- Согласуют в паре единый вариант ответа и аргументируют его классу.
- Корректно обсуждают ошибки, отделяя ошибочный шаг от личности ученика.
- Используют точные предметные термины при защите решения.
Подготовка учителя к уроку
- Распечатать рабочий лист с 15 заданиями — по одному экземпляру на каждого ученика и 3 дополнительных экземпляра.
- Подготовить карточки для групповой сортировки действий по построению таблицы истинности — по одной карточке на пару.
- Подготовить лист самооценки с пунктами «обозначения», «таблицы операций», «число строк», «преобразования», «проверка равносильности» — по одному на ученика.
- Вывести на доску или слайд обозначения $\neg$, $\land$, $\lor$, константы $И$ и $Л$, а также краткие таблицы истинности операций.
- Подготовить отдельный слайд с алгоритмом: определить переменные → вычислить $2^n$ → записать наборы → добавить промежуточные столбцы → вычислить итог.
- Подготовить эталон таблиц для $A \land B$ и $A \lor B$ для самопроверки в конце практики.
- Подготовить маркеры трёх цветов и магниты для фиксации ответов на доске.
- Оборудовать рабочее место компьютером и проектором или интерактивной доской; проверить отображение формул.
Ход урока
Этап 1. Организационный момент и мотивация (3 мин)
Цель этапа: включить учащихся в учебную деятельность и показать практическую значимость точных логических правил.
Время | Действие учителя | Действие учеников |
|---|---|---|
1 мин | Учитель приветствует класс и показывает на экране два высказывания: «Доступ разрешён, если введён пароль и подтверждён код» и «Система отправит уведомление, если сработал датчик или нажата кнопка». Учитель говорит: "Ребята, в этих фразах уже работают логические операции. Сегодня мы переведём такие условия на формальный язык и научимся проверять их по всем возможным наборам значений." | Записывают дату, готовят рабочий лист и тетради, называют предполагаемые операции: «и», «или». |
2 мин | Учитель задаёт проблемный вопрос: "Как доказать, что два разных по записи логических выражения всегда дают один и тот же результат? Одного удачного примера недостаточно: нужно проверить все возможные наборы. Сегодня таблица истинности станет нашим инструментом доказательства." | Формулируют предположения: «Нужно перебрать значения переменных», «Нужно сравнить результаты выражений». Записывают тему урока. |
Завершение этапа: учитель подводит итог: "Мы увидели, что логические выражения описывают реальные условия в информационных системах. Сначала восстановим правила операций, а затем построим таблицы, которые позволят проверить каждое утверждение."
Этап 2. Актуализация знаний (6 мин)
Цель этапа: актуализировать обозначения и смысл основных логических операций, необходимые для решения заданий 1–5 и 8.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель организует приём «Подумай — обсуди в паре — поделись»: "Самостоятельно заполните пропуски в задании 1: отрицание, конъюнкция, дизъюнкция. У вас 30 секунд. Затем сравните записи с соседом и объясните, почему выбрали именно эти знаки." После обсуждения фиксирует на доске: $\neg A$, $A \land B$, $A \lor B$. | Заполняют задание 1, обсуждают в парах, формулируют ответы: «Отрицание — $\neg$, конъюнкция — $\land$, дизъюнкция — $\lor$». |
3 мин | Учитель показывает три мини-таблицы и спрашивает: "Когда истинно $A \land B$? Когда истинно $A \lor B$? Что происходит с истинностью при отрицании? Поднимите карточку «И» или «Л» для каждого утверждения: «Дизъюнкция ложна только при двух ложных высказываниях»; «Конъюнкция истинна, если истинно хотя бы одно высказывание»." | Объясняют правила и выполняют задания 2, 5 и 8. Отмечают: первое утверждение истинно, второе ложно; формулируют: «Конъюнкция требует двух истинных значений, дизъюнкции достаточно одного». |
Завершение этапа: учитель подводит итог: "Обозначения и смысл операций восстановлены. Но словесного правила недостаточно, если нужно проверить выражение на всех наборах. Теперь выясним, как организовать такой перебор без пропусков."
Посмотрите план целиком
Зарегистрируйтесь — и откройте план урока по этой теме полностью: цели, ход урока и рефлексия по ФГОС.
Этап 3. Постановка проблемы и целеполагание (4 мин)
Цель этапа: сформулировать алгоритм построения таблицы истинности и определить затруднение учащихся.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель записывает на доске выражение $A \land B$ и задаёт вопрос: "Какие строки нужно проверить, если переменных две? Достаточно ли записать только значения И и И? Почему нет?" Затем предлагает восстановить правило размера таблицы: при $n$ переменных число наборов равно $2^n$. | Называют четыре набора: «И, И; И, Л; Л, И; Л, Л». Заполняют задание 7: $2^n$ строк с наборами значений и $n$ столбцов для переменных. |
2 мин | Учитель раздаёт карточки с действиями и говорит: "Расположите действия так, чтобы другой ученик мог повторить алгоритм без моих подсказок. Обязательно объясните, почему итоговый столбец нельзя вычислять до заполнения переменных." | В парах выполняют задание 6, выстраивают алгоритм и формулируют цель: «Научиться строить таблицы и преобразовывать выражения, проверяя результат». |
Завершение этапа: учитель подводит итог: "Мы определили главный алгоритм: сначала наборы значений, затем промежуточные действия и только потом итог. Сейчас применим этот план к простейшим выражениям и увидим, как таблица превращается в доказательство."
Этап 4. Открытие нового знания (10 мин)
Цель этапа: совместно построить таблицы истинности для $A \land B$ и $A \lor B$, а также вывести простейшие равносильные преобразования.
Время | Действие учителя | Действие учеников |
|---|---|---|
4 мин | Учитель показывает на доске шаблон таблицы и говорит: "Заполняем строки в одном и том же порядке: И–И, И–Л, Л–И, Л–Л. Теперь вычисляем $A \land B$. Конъюнкция похожа на условие «нужно выполнить оба требования». В какой строке оба требования выполнены?" Учитель вписывает первый результат и просит класс объяснить остальные. | Заполняют задание 4: в последнем столбце получают И, Л, Л, Л. Объясняют: «Только при $A=И$ и $B=И$ конъюнкция истинна». |
3 мин | Учитель строит вторую таблицу: "Теперь заменим знак на $\lor$. Представьте условие «можно войти по карте или по коду»: достаточно одного истинного условия. В какой строке результат будет ложным?" | Заполняют задание 10: в последнем столбце получают И, И, И, Л. Формулируют правило: «Дизъюнкция ложна только при двух ложных высказываниях». |
3 мин | Учитель записывает преобразования и ведёт эвристическую беседу: "Рассмотрим $\neg(\neg A)$. Если отрицание меняет значение на противоположное, что произойдёт после второго отрицания? А что получится из $(A \land И) \lor Л$? Сравните результат с $A$." | Выполняют задания 3 и 9, записывают: $\neg(\neg A)=A$; $(A \land И) \lor Л=A$. Объясняют, что конъюнкция с истинной константой и дизъюнкция с ложной константой не меняют значение $A$. |
Запись в тетрадях
Алгоритм построения таблицы истинности: 1) определить число переменных; 2) вычислить число строк $2^n$; 3) записать все наборы значений переменных; 4) выделить промежуточные операции; 5) вычислить столбцы слева направо; 6) прочитать итоговый столбец. Основные правила: $A \land B$ истинно только при $A=И$ и $B=И$; $A \lor B$ ложно только при $A=Л$ и $B=Л$; $\neg(\neg A)=A$; $(A \land И) \lor Л=A$.
Завершение этапа: учитель подводит итог: "Мы построили две базовые таблицы и увидели, что некоторые выражения можно упростить без полного перебора. Теперь проверим правила на заданиях рабочего листа и научимся отличать верное преобразование от ошибочного."
Этап 5. Первичное закрепление: правила де Моргана (7 мин)
Цель этапа: вывести и применить законы де Моргана при преобразовании выражений.
Время | Действие учителя | Действие учеников |
|---|---|---|
3 мин | Учитель пишет выражение $\neg(A \land B)$ и говорит: "Представим, что $A \land B$ означает выполнение двух условий одновременно. Отрицание этого требования означает, что не выполнено хотя бы одно из них. Как записать это через отрицания $A$ и $B$?" Учитель предлагает проверить гипотезу по четырём строкам. | Выполняют задание 12 по шагам: убрать внешнее отрицание, заменить $\land$ на $\lor$, поставить отрицание перед каждой переменной. Записывают гипотезу $\neg(A \land B)=\neg A \lor \neg B$. |
2 мин | Учитель аналогично ведёт вывод: "Если выражение требует, чтобы было истинно хотя бы одно из двух условий, то его отрицание означает, что оба условия ложны. Запишите второй закон и проговорите его словами." | Заполняют задание 13: $\neg(A \land B)=\neg A \lor \neg B$; $\neg(A \lor B)=\neg A \land \neg B$. Формулируют второй закон словами. |
2 мин | Учитель показывает варианты задания 14 и спрашивает: "Не угадывайте по памяти. Какой вариант получается непосредственно из второго закона де Моргана?" | Выбирают $\neg A \land \neg B$, объясняют выбор и отмечают ответ в рабочем листе. |
Завершение этапа: учитель подводит итог: "Законы де Моргана меняют знак операции и одновременно ставят отрицание перед каждым операндом. Сейчас вы самостоятельно пройдёте весь алгоритм на заданиях, где нужно не только вспомнить правило, но и проверить себя таблицей."
Этап 6. Самостоятельная работа с самопроверкой (10 мин)
Цель этапа: проверить индивидуальное освоение алгоритма на заданиях рабочего листа 6, 11, 13, 14 и 15.
Время | Действие учителя | Действие учеников |
|---|---|---|
6 мин | Учитель говорит: "Работаем индивидуально. Выполните задания 6, 11, 13, 14 и 15. В задании 15 обязательно выпишите промежуточные столбцы и сравните последние два, а не ограничивайтесь словами «равносильны». Если возникло затруднение, поставьте рядом знак вопроса и переходите к следующему пункту." Учитель наблюдает, задаёт направляющие вопросы, не сообщает готовый ответ. | Индивидуально располагают шаги алгоритмов, оценивают утверждения о равносильности, восстанавливают законы де Моргана, выбирают равносильную форму и строят промежуточные столбцы в задании 15. |
4 мин | Учитель выводит эталон и организует самопроверку: "Сверяйте не только последний знак. Найдите первый шаг, в котором ваш результат расходится с эталоном. Исправьте его другим цветом и кратко подпишите причину: неверный набор, знак операции или порядок вычислений." | Проверяют работу по эталону, исправляют ошибки, ставят себе отметки по каждому заданию и формулируют причину одной обнаруженной ошибки. |
Эталон решения
Для проверки равносильности выражений с переменными $A$ и $B$ составляются четыре строки: $(И,И)$, $(И,Л)$, $(Л,И)$, $(Л,Л)$. Для каждой строки отдельно вычисляются промежуточные выражения. Если последние столбцы совпадают во всех четырёх строках, выражения равносильны; если найдено хотя бы одно различие, выражения неравносильны. Для задания 14: по закону де Моргана $\neg(A \lor B)=\neg A \land \neg B$.
Завершение этапа: учитель подводит итог: "Самостоятельная работа показала, что таблица истинности — это не набор случайных значений, а строгий способ проверки. Осталось связать все правила в одну систему и убедиться, что вы можете объяснить решение своими словами."
Этап 7. Включение в систему знаний и рефлексия (5 мин)
Цель этапа: обобщить алгоритмы, выявить затруднения и подготовить учащихся к самостоятельному продолжению работы дома.
Время | Действие учителя | Действие учеников |
|---|---|---|
2 мин | Учитель проводит приём «Светофор»: "Покажите зелёную карточку, если можете построить таблицу для двух переменных без подсказки; жёлтую — если путаетесь в порядке действий; красную — если требуется разбор. Затем объясните соседу один выбранный вами шаг алгоритма." | Показывают карточки, в парах проговаривают выбранный шаг: «Сначала определяем переменные», «Затем записываем четыре набора», «Итоговый столбец считаем последним». |
3 мин | Учитель раздаёт лист самооценки и задаёт вопросы: "Какое правило сегодня стало понятнее? Где возникла ошибка? Каким способом вы докажете равносильность двух выражений? Запишите один вопрос, который нужно разобрать дополнительно." | Заполняют лист самооценки, отвечают: «Сравню последние столбцы таблиц» или «Преобразую выражение по закону де Моргана и проверю таблицей». Формулируют личный вопрос. |
Критерии оценивания практической работы
- «5» — верно выполнены не менее 13 из 15 заданий, правильно построены таблицы для $A \land B$ и $A \lor B$, записаны оба закона де Моргана, а в задании 15 приведено обоснование равносильности.
- «4» — верно выполнены не менее 10 заданий, допущены не более двух ошибок в таблицах или преобразованиях, алгоритм построения в целом соблюдён.
- «3» — верно выполнены не менее 7 заданий, воспроизведены основные обозначения и правила операций, но имеются ошибки в порядке построения таблицы или применении законов де Моргана.
- «2» — выполнено менее 7 заданий либо отсутствует понимание различия между конъюнкцией и дизъюнкцией.
Рефлексия
Вопрос для ученика | Цель вопроса |
|---|---|
Как определить число строк таблицы истинности для выражения с двумя переменными? | Проверка понимания правила $2^n$ и состава наборов значений. |
Какое условие делает конъюнкцию истинной, а дизъюнкцию — ложной? | Выявление осознанного различения базовых операций. |
Как доказать, что два логических выражения равносильны? | Проверка понимания сравнения последних столбцов. |
На каком шаге построения таблицы вы сегодня ошибались чаще всего? | Выявление точек затруднения для коррекции на следующем уроке. |
Завершающее слово учителя
"Сегодня мы научились переводить правила логических операций в таблицы истинности и обратно. Особенно важно помнить, что при построении таблицы нельзя пропускать наборы значений, а при преобразовании по законам де Моргана меняются и операция, и отрицания переменных. Если вы нашли ошибку, это не неудача, а указатель на конкретный шаг, который нужно проверить. На следующем уроке мы усложним выражения, добавим несколько операций и потренируемся выбирать наиболее короткий способ решения."
Домашнее задание
Уровень | Что задать | Зачем |
|---|---|---|
Базовый (обязательный) | Выполнить 4 задания на обозначения и правила отрицания, конъюнкции и дизъюнкции; построить таблицы истинности для двух выражений с двумя переменными, одно из которых содержит $\land$, а другое — $\lor$. | Закрепляет базовые операции и алгоритм записи четырёх наборов; при проверке обратить внимание на порядок строк и итоговый столбец. |
Средний (повышающий) | Решить 4 задания на преобразование выражений: двойное отрицание, конъюнкция с $И$, дизъюнкция с $Л$ и один закон де Моргана; для одного преобразования выполнить проверку таблицей истинности. | Формирует умение применять законы логики и подтверждать преобразование не только памятью, но и вычислением. |
Продвинутый (дополнительный) | Составить собственную пару логических выражений с двумя переменными, предположить их равносильность, построить обе таблицы с промежуточными столбцами и сделать аргументированный вывод. | Развивает исследовательское мышление, навыки моделирования и доказательства равносильности. |
Контрольные вопросы перед выходом: «Сколько строк содержит таблица для двух переменных?», «В каком случае $A \land B$ истинно?», «В каком случае $A \lor B$ ложно?», «Как записывается закон $\neg(A \lor B)$?», «Что нужно сравнить, чтобы доказать равносильность выражений?»
