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