Логика: условие, таблица истинности и контрпример
Информатика · 10 класс · алгебра логики · Шпаргалка
Об этой шпаргалке
Опорный конспект алгебры логики: перевести условие в формулу, построить полную таблицу, проверить равносильность и найти набор, опровергающий ошибочный вывод.
Что уже нужно знать: Сравнения чисел и смысл переменной. Для необязательной программной проверки — логические значения и выражения Python.
Что входит и что не входит
- Входит: пять логических операций, таблицы истинности до трёх переменных, равносильность, перевод словесного условия в формулу и поиск контрпримера.
- Не входит: кванторы, схемы логических элементов, минимизация картами Карно, полный набор экзаменационных типов заданий.
- Проверка выражений программой необязательна: все таблицы посчитаны полным перебором.
Содержание
- Высказывание и логическая операция
- Таблица операций: четыре набора для A и B
- Разобранная таблица для трёх переменных
- Равносильность и отрицание сложного условия
- От словесного правила к формуле и проверке
- Банк задач: доказательство и поиск ошибки
От пробы к уроку
Рисуйте, меняйте текст, двигайте карточки, вставляйте изображения и предметные схемы. Перед выходом нажмите «Сохранить мою доску», чтобы сохранить все страницы, рисунки и изображения.
После нажатия ваши правки сохранятся в этом браузере на время входа или бесплатной регистрации. Затем создайте личную доску в кабинете: добавлять ученика не нужно.
Материал бесплатен, действуют условия вашего тарифа. Разобранные примеры доступны на доске. Ответы к самостоятельным заданиям — в отдельной памятке преподавателю при создании копии.
Авторская самопроверка: термины и охват сверены с ФРП 10 класса, правила — с указанными учебными источниками. Таблицы, равносильности и ключи проверены полным перебором Python; отдельно проверены границы числового промежутка. Все шесть страниц просмотрены в настоящем редакторе. Предметная вычитка преподавателем и апробация не проводились. Версия 6 · 2026-09-29.