Логические выражения и операции. Таблицы истинности — тренажёр для 8 класса

Определение

Логическое выражение — это запись, составленная из логических переменных, логических операций и скобок, значение которой равно либо «истина» (1), либо «ложь» (0). Такая запись используется в информатике для описания условий: в задачах алгебры логики, в условных операторах программ, в поисковых запросах и в схемах цифровых устройств.

Алгебра логики (булева алгебра) изучает высказывания — повествовательные предложения, о которых можно однозначно сказать, истинны они или ложны. «Число 12 делится на 3» — высказывание со значением 1; «Реши уравнение» — не высказывание, потому что к вопросу или приказу истинность неприменима.

Простые высказывания обозначают латинскими буквами A, B, C и соединяют логическими операциями, получая составные высказывания. Полное поведение любого выражения описывает таблица истинности — таблица, где перечислены все комбинации значений переменных и вычислено значение выражения для каждой комбинации.

В курсе 8 класса раздел связывает математику и программирование: те же операции И, ИЛИ, НЕ управляют ветвлениями в Python (and, or, not) и циклами с условиями.

Ключевые правила

Логические операции имеют строго заданный приоритет: сначала скобки, затем инверсия, потом конъюнкция, последней — дизъюнкция.

1. Инверсия (НЕ, ¬A, отрицание) меняет значение на противоположное: ¬0 = 1, ¬1 = 0. Если A = «идёт дождь» истинно, то ¬A = «дождь не идёт» ложно.
2. Конъюнкция (И, A ∧ B, логическое умножение) истинна только тогда, когда истинны оба операнда. «Число чётное И трёхзначное» для 250 даёт 1, для 25 — 0.
3. Дизъюнкция (ИЛИ, A ∨ B, логическое сложение) ложна только тогда, когда ложны оба операнда. «Число чётное ИЛИ трёхзначное» для 25 даёт 0, для 27 — 1 (условие «трёхзначное» ложно, но 27… — проверяем: оба ложны, значит 0; а для 125 — 1).
4. Число строк таблицы истинности равно 2ⁿ, где n — количество переменных: две переменные дают 4 строки, три — 8, четыре — 16.
5. Закон двойного отрицания: ¬(¬A) = A. Две инверсии подряд взаимно уничтожаются.
6. Законы де Моргана: ¬(A ∧ B) = ¬A ∨ ¬B и ¬(A ∨ B) = ¬A ∧ ¬B. При вынесении отрицания за скобки операция меняется на противоположную.

Разбор примеров

Пример 1. Вычисление при заданных значениях. Дано A = 1, B = 0, найти F = A ∧ ¬B. Сначала выполняется инверсия: ¬B = ¬0 = 1. Затем конъюнкция: 1 ∧ 1 = 1. Вывод: приоритет операций определяет порядок вычислений — инверсия всегда раньше конъюнкции.

Пример 2. Выражение со скобками. Дано A = 0, B = 1, C = 1, найти F = ¬(A ∨ B) ∧ C. Внутри скобок: 0 ∨ 1 = 1. Инверсия: ¬1 = 0. Конъюнкция: 0 ∧ 1 = 0. Вывод: скобки перекрывают обычный приоритет, поэтому дизъюнкция здесь выполнена первой.

Пример 3. Построение таблицы истинности для F = (A ∨ B) ∧ ¬C. Переменных три, значит строк 2³ = 8. Наборы записывают в порядке двоичного счёта от 000 до 111.

Промежуточные столбцы уменьшают число ошибок: каждое действие вычисляется отдельно. Вывод: выражение истинно ровно в трёх наборах — там, где C = 0 и хотя бы одна из A, B равна 1.

Пример 4. Проверка закона де Моргана. Сравним ¬(A ∧ B) и ¬A ∨ ¬B при A = 1, B = 0. Слева: 1 ∧ 0 = 0, ¬0 = 1. Справа: ¬1 = 0, ¬0 = 1, 0 ∨ 1 = 1. Значения совпали; совпадение сохраняется на всех четырёх наборах. Вывод: отрицание конъюнкции равно дизъюнкции отрицаний.

Пример 5. Условие в программе. Проверка «x принадлежит отрезку [0; 10]» записывается как x >= 0 and x <= 10. Противоположное условие по закону де Моргана — x < 0 or x > 10, а не x < 0 and x > 10: второй вариант ложен всегда, потому что число не может быть одновременно меньше нуля и больше десяти. Вывод: при отрицании составного условия союз И заменяется на ИЛИ.

Таблица операций

Типичные ошибки

Нарушение приоритета операций. Выражение читают слева направо, как обычный текст. В ¬A ∧ B инверсия относится только к A. Неправильно: ¬(A ∧ B). Правильно: (¬A) ∧ B.

Неверное число строк в таблице. Ученик берёт столько строк, сколько операций, а не переменных. При четырёх переменных требуется 2⁴ = 16 строк, иначе часть наборов пропущена и вывод о выражении неверен.

Потеря операции при отрицании скобок. ¬(A ∨ B) записывают как ¬A ∨ ¬B. Неправильно: знак сохранён. Правильно: ¬(A ∨ B) = ¬A ∧ ¬B — операция меняется на противоположную.

Путаница «ИЛИ» бытового и логического. В речи «чай или кофе» означает выбор одного. Дизъюнкция истинна и тогда, когда истинны оба операнда: 1 ∨ 1 = 1.

Беспорядочный перебор наборов. Строки записывают случайно и повторяют или пропускают комбинации. Правильно: перечислять наборы как двоичные числа от 000 до 111 по возрастанию.

Пошаговый алгоритм

1. Выпишите логические переменные и подсчитайте их количество n.
2. Постройте заготовку таблицы на 2ⁿ строк, заполнив наборы двоичным счётом по возрастанию.
3. Расставьте порядок действий в выражении: скобки → инверсия → конъюнкция → дизъюнкция.
4. Добавьте по столбцу на каждое промежуточное действие в этом порядке.
5. Заполните промежуточные столбцы построчно, используя определения операций.
6. Вычислите итоговый столбец.
7. Проверьте результат: сравните два-три набора с прямым подсчётом «в уме» и убедитесь, что среди строк нет одинаковых наборов переменных.

Как запомнить

• И — умножение, ИЛИ — сложение. A ∧ B = A·B, A ∨ B = A+B (при 1+1 результат 1). Ноль в произведении обнуляет всё; единица в сумме «зажигает» всё.
• Приоритет — «СИКД»: Скобки, Инверсия, Конъюнкция, Дизъюнкция.
• Де Морган — «черта ломает знак»: когда отрицание входит под скобки, ∧ становится ∨, а ∨ становится ∧.
• Строки таблицы — двоичный счётчик: 000, 001, 010, 011, 100, 101, 110, 111 — тот же порядок, что у чисел от 0 до 7.