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