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