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