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