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