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