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