Логические выражения и таблицы истинности: разбор для ЕГЭ

Зачем понимать таблицы истинности и как они устроены

Задание №2 в ЕГЭ по информатике часто кажется запутанным из-за обилия скобок и пропущенных ячеек, но за ним скрывается лёгкий первичный балл, который можно забрать за три минуты. В этой статье мы разберём логические операции от базовых правил до хитрых приёмов сопоставления, чтобы ты безошибочно решал любые прототипы.

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

Если в выражении участвуют две переменные (например, x и y), то возможных комбинаций будет 2² = 4. Если переменных три, строк в полной таблице станет 2³ = 8, а для четырёх переменных — уже 2⁴ = 16 строк. В экзаменационных заданиях тебе почти всегда дают фрагмент таблицы для четырёх переменных, где часть значений скрыта, а столбцы перемешаны.

Чтобы быстро сориентироваться в задании, важно сразу оценить, при каких значениях функция вообще может быть истинной или ложной. Проверить своё понимание базовых таблиц можно в бесплатном тренажёре Просто Урок, где собраны типовые связки для тренировки.

Основные логические операции и их приоритеты

Для успешного решения задач нужно уверенно знать пять основных операций. Каждая из них имеет строгое правило вычисления:

1. Инверсия (отрицание, НЕ, ¬, not) — меняет значение на противоположное: ¬1 = 0, ¬0 = 1.
2. Конъюнкция (логическое умножение, И, ∧, and) — истинна только тогда, когда оба операнда равны 1.
3. Дизъюнкция (логическое сложение, ИЛИ, ∨, or) — ложна только тогда, когда оба операнда равны 0.
4. Импликация (следование, →) — ложна исключительно в одном случае: когда из истины следует ложь (1 → 0 = 0). Во всех остальных случаях она равна 1.
5. Эквивалентность (тождество, ≡, ==) — истинна, если значения переменных совпадают (0 ≡ 0 = 1, 1 ≡ 1 = 1).

x	y	¬x	x ∧ y	x ∨ y	x → y	x ≡ y
0	0	1	0	0	1	1
0	1	1	0	1	1	0
1	0	0	0	1	0	0
1	1	0	1	1	1	1

Порядок выполнения операций без скобок всегда строгий: сначала вычисляется инверсия (¬), затем конъюнкция (∧), следом дизъюнкция (∨), после неё импликация (→) и в конце эквивалентность (≡). Скобки меняют приоритет точно так же, как в обычной школьной математике.

Законы алгебры логики для быстрого упрощения

Иногда логическая формула на экзамене выглядит громоздко. Чтобы не строить огромные таблицы вручную, выражение полезно упростить с помощью базовых законов логики.

Главное преобразование, которое спасает на ЕГЭ, — это раскрытие импликации. Запомни тождество:

A → B ≡ ¬A ∨ B

Также регулярно встречаются законы де Моргана, позволяющие раскрывать отрицание сложных скобок:

¬(A ∧ B) ≡ ¬A ∨ ¬B
¬(A ∨ B) ≡ ¬A ∧ ¬B

Не забывай про закон двойного отрицания: ¬(¬A) ≡ A. А также свойства констант: A ∧ 0 = 0, A ∧ 1 = A, A ∨ 0 = A, A ∨ 1 = 1. Если перед тобой дизъюнкция с единицей, всё выражение сразу гарантированно истинно независимо от остальных переменных.

Пошаговый алгоритм решения задания №2 из ЕГЭ

В типовом задании №2 дана функция F от четырёх переменных (x, y, z, w) и фрагмент таблицы истинности с пустыми клетками. Требуется определить, какому столбцу соответствует каждая переменная.

Применяй проверенный пошаговый алгоритм:

Шаг 1. Определи итоговое значение функции F в приведённых строках (везде 0 или везде 1).
Шаг 2. Разбей формулу на логические блоки по старшей операции (конъюнкция, дизъюнкция или импликация).
Шаг 3. Выпиши все наборы переменных, при которых функция принимает указанное значение.
Шаг 4. Посчитай количество нулей и единиц в каждом столбце полученной таблицы.
Шаг 5. Сопоставь строки и столбцы с предложенным в условии фрагментом методом исключения.

Если ручной перебор кажется долгим, этот шаг можно проверить на языке Python, сгенерировав таблицу истинности через циклы. Разобрать программный способ можно в материалах личного кабинета Просто Урок.

Практический разбор типовой экзаменационной задачи

Рассмотрим выражение: F = (¬x ∨ y) ∧ (¬y ≡ z) ∧ ¬w. В условии дан фрагмент таблицы из трёх строк, и во всех трёх строках функция F равна 1. Определим порядок переменных.

Поскольку между тремя скобками стоит конъюнкция (∧), функция F равна 1 только тогда, когда каждая скобка одновременно равна 1:

1) ¬w = 1 ⇒ w = 0 во всех строках.
2) (¬y ≡ z) = 1 ⇒ y и z всегда противоположны (если y = 0, то z = 1; если y = 1, то z = 0).
3) (¬x ∨ y) = 1 ⇒ запрещена пара x = 1, y = 0.

Составим все возможные наборы из четырёх переменных (x, y, z, w), удовлетворяющие этим трём условиям:

Набор 1: w = 0, y = 0, z = 1, x = 0 (так как при y = 0 x не может быть 1).
Набор 2: w = 0, y = 1, z = 0, x = 0.
Набор 3: w = 0, y = 1, z = 0, x = 1.

Теперь анализируем столбцы полученной мини-таблицы: переменная w во всех трёх строках равна 0 (ищем столбец, где нет единиц). Переменная z содержит ровно одну единицу, переменная y содержит две единицы, а переменная x — одну единицу. Сопоставляя эти свойства со структурой таблицы в киме, мы однозначно расставляем имена столбцов.

Что запомнить и какой следующий шаг сделать

Для стабильного решения задачи №2 на экзамене держи в памяти ключевые тезисы:

• Количество строк в полной таблице равно 2ⁿ, где n — число переменных.
• Импликация ложна только в одном случае: 1 → 0.
• Конъюнкция требует всех единиц, дизъюнкция обращается в ноль только при всех нулях.
• Анализ начинай с критических переменных, которые принимают константное значение во всех рабочих строках.

Теория работает только вместе с практикой. Перейди в личный кабинет Просто Урок, открой тренажёр и реши 5 аналогичных задач прямо сейчас — это займёт 10 минут и закрепит навык навсегда.