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