📋 Описание задания №2
- Умение строить таблицы истинности
- Знание логических операций
- Способность анализировать фрагменты таблиц истинности
- Умение определять соответствие переменных и столбцов
Тип задания: По фрагменту таблицы истинности необходимо определить, какие переменные соответствуют каким столбцам в логическом выражении.
Первичный балл: 1 балл
Уровень сложности: Базовый
Примерное время выполнения: 3-5 минут
📚 Теоретическая часть
Основные логические операции
1. Конъюнкция (логическое И) - ∧, AND, &
Результат истинен только тогда, когда оба операнда истинны.
| A | B | A ∧ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
2. Дизъюнкция (логическое ИЛИ) - ∨, OR, |
Результат истинен, когда хотя бы один из операндов истинен.
| A | B | A ∨ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
3. Отрицание (инверсия) - ¬, NOT, !
Меняет значение логической переменной на противоположное.
| A | ¬A |
|---|---|
| 0 | 1 |
| 1 | 0 |
4. Импликация (логическое следование) - →, ⇒
Результат ложен только тогда, когда из истины следует ложь.
| A | B | A → B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
5. Эквиваленция (равносильность) - ≡, ↔, ~
Результат истинен, когда оба операнда имеют одинаковые значения.
| A | B | A ≡ B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
6. Исключающее ИЛИ (XOR) - ⊕
Результат истинен, когда операнды имеют разные значения.
| A | B | A ⊕ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Порядок выполнения логических операций
- ¬ Отрицание (NOT)
- ∧ Конъюнкция (AND)
- ∨ Дизъюнкция (OR)
- → Импликация
- ≡ Эквиваленция
Примечание: Операции одного приоритета выполняются слева направо. Скобки изменяют порядок вычисления.
Основные законы алгебры логики
| Название закона | Формула |
|---|---|
| Коммутативность (AND) | A ∧ B = B ∧ A |
| Коммутативность (OR) | A ∨ B = B ∨ A |
| Ассоциативность (AND) | (A ∧ B) ∧ C = A ∧ (B ∧ C) |
| Ассоциативность (OR) | (A ∨ B) ∨ C = A ∨ (B ∨ C) |
| Дистрибутивность | A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C) |
| Закон де Моргана | ¬(A ∧ B) = ¬A ∨ ¬B |
| Закон де Моргана | ¬(A ∨ B) = ¬A ∧ ¬B |
| Двойное отрицание | ¬(¬A) = A |
| Импликация | A → B = ¬A ∨ B |
| Эквиваленция | A ≡ B = (A → B) ∧ (B → A) |
🎯 Методы решения задания №2
Общий алгоритм решения
Ключевые признаки для определения переменных
Для конъюнкции (A ∧ B):
Единица в результате получается только тогда, когда обе переменные равны 1. Это самая информативная строка!
Если в таблице есть строка с результатом 1, то в этой строке обе переменные, участвующие в конъюнкции, должны быть равны 1.
Для дизъюнкции (A ∨ B):
Ноль в результате получается только тогда, когда обе переменные равны 0. Это самая информативная строка!
Если в таблице есть строка с результатом 0, то в этой строке обе переменные, участвующие в дизъюнкции, должны быть равны 0.
Для импликации (A → B):
Ноль в результате получается только при A = 1 и B = 0.
Если в таблице есть строка с результатом 0, то первая переменная должна быть 1, а вторая - 0.
Начинайте анализ с самых "информативных" строк - тех, которые однозначно определяют значения переменных. Для AND это строка с единицей в результате, для OR - строка с нулем.
📝 Примеры решения задач
Условие: Логическая функция F задается выражением (x ∧ y) ∨ z.
Дан фрагмент таблицы истинности функции F:
| ? | ? | ? | F |
|---|---|---|---|
| 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 |
Вопрос: Какому столбцу таблицы истинности соответствует каждая из переменных x, y, z?
Решение:
(x ∧ y) ∨ z
Это дизъюнкция двух частей: конъюнкции (x ∧ y) и переменной z.
В третьей строке результат F = 1. Для дизъюнкции это означает, что хотя бы одна из частей равна 1: либо (x ∧ y) = 1, либо z = 1.
Поскольку последний столбец = 0, а результат 1, значит z ≠ последний столбец.
Следовательно, (x ∧ y) = 1, что возможно только при x = 1 и y = 1.
В третьей строке единицы в первом и втором столбцах → x и y соответствуют 1-му и 2-му столбцам.
Остается третий столбец → z = третий столбец.
- Строка 1: x=0, y=1, z=0 → (0 ∧ 1) ∨ 0 = 0 ∨ 0 = 0 ✓
- Строка 2: x=1, y=0, z=0 → (1 ∧ 0) ∨ 0 = 0 ∨ 0 = 0 ✓
- Строка 3: x=1, y=1, z=0 → (1 ∧ 1) ∨ 0 = 1 ∨ 0 = 1 ✓
В формате ответа:
x y z или 1 2 3
Условие: Логическая функция F задается выражением ¬x → (y ∧ z).
Дан фрагмент таблицы истинности функции F:
| ? | ? | ? | F |
|---|---|---|---|
| 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 |
Вопрос: Определите соответствие переменных x, y, z столбцам таблицы.
Решение:
¬x → (y ∧ z) = ¬(¬x) ∨ (y ∧ z) = x ∨ (y ∧ z)
Для выражения x ∨ (y ∧ z) ноль получается только когда x = 0 и (y ∧ z) = 0.
Смотрим строки 2 и 3 с F = 0.
x = 0, значит x не может быть в столбце со значением 1.
x может быть в столбце 1 (где 0).
Если x в столбце 1, то x = 1 → выражение должно быть истинным (что и есть) ✓
В строке 2: x=0, F=0 → (y ∧ z) = 0
Столбцы 2 и 3 имеют значения 1 и 0 → один из них y, другой z
В строке 3: x=0, F=0 → (y ∧ z) = 0
Столбцы 2 и 3 имеют значения 0 и 1
Для (y ∧ z) = 1 нужны обе переменные = 1, но такой строки в примере нет.
Проверяем: если y - столбец 2, z - столбец 3:
- Строка 1: x=1 → F=1 (не зависит от y, z) ✓
- Строка 2: y=1, z=0 → (1∧0)=0, x=0 → 0∨0=0 ✓
- Строка 3: y=0, z=1 → (0∧1)=0, x=0 → 0∨0=0 ✓
Условие: Логическая функция F задается выражением (x ∨ y) ∧ (y ∨ z).
Дан фрагмент таблицы истинности функции F:
| ? | ? | ? | F |
|---|---|---|---|
| 0 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 |
Решение:
(x ∨ y) ∧ (y ∨ z)
Конъюнкция двух дизъюнкций. Для F = 1 нужно, чтобы обе скобки были истинны.
Обе скобки должны быть истинны.
Заметим: y входит в обе скобки!
Если y = 1, то обе скобки автоматически истинны.
В строке 2 есть два столбца с 1 → y в одном из них.
Строка 1: ?, y=0, ? → F = 0
При y = 0: (x ∨ 0) ∧ (0 ∨ z) = x ∧ z
Столбцы 1 и 3: значения 0 и 1 → x∧z = 0∧1 или 1∧0 = 0 ✓
Строка 3: 1, 0, 1 → F = 1
При y = 0: x ∧ z = 1 → x = 1 и z = 1
В строке 3 единицы в столбцах 1 и 3 → x и z там.
Пусть x - столбец 1, y - столбец 2, z - столбец 3:
- Строка 1: (0∨0)∧(0∨1) = 0∧1 = 0 ✓
- Строка 2: (1∨1)∧(1∨0) = 1∧1 = 1 ✓
- Строка 3: (1∨0)∧(0∨1) = 1∧1 = 1 ✓
❓ Часто задаваемые вопросы
Ответ: Таблица истинности — это таблица, которая показывает все возможные комбинации значений логических переменных и соответствующие им результаты логического выражения.
Для выражения с N переменными таблица содержит 2N строк (все возможные комбинации 0 и 1).
Пример: Для двух переменных (A и B) таблица содержит 4 строки: 00, 01, 10, 11.
Конъюнкция (И, ∧): Результат истинен только когда ОБЕ переменные истинны. Это строгая операция — нужны все единицы.
Дизъюнкция (ИЛИ, ∨): Результат истинен, когда хотя бы ОДНА переменная истинна. Это более мягкая операция — достаточно одной единицы.
Мнемоника:
- И — нужно И то, И другое (оба условия)
- ИЛИ — нужно ИЛИ то, ИЛИ другое (хотя бы одно)
Ответ: Импликация A → B читается как "если A, то B". Она ложна только в одном случае: когда из истины (A = 1) следует ложь (B = 0).
Логическое объяснение: Если условие A не выполнено (A = 0), то утверждение "если A, то B" автоматически считается истинным, потому что нет противоречия — мы не обещали, что будет, если A ложно.
Пример из жизни: "Если пойдет дождь, я возьму зонт". Если дождя нет (A = 0), то неважно, взяли вы зонт или нет — обещание не нарушено.
Важно помнить: A → B = ¬A ∨ B
Алгоритм быстрого решения:
- Найдите "особую" строку:
- Для конъюнкции — строку с F = 1 (обе переменные = 1)
- Для дизъюнкции — строку с F = 0 (обе переменные = 0)
- Для импликации — строку с F = 0 (первая = 1, вторая = 0)
- Определите переменные по характерным значениям в этой строке
- Проверьте гипотезу на других строках таблицы
Совет: Переменная, встречающаяся в выражении несколько раз, обычно даёт ключ к решению.
Приоритет логических операций (от высшего к низшему):
- ¬ (НЕ, отрицание) — самый высокий
- ∧ (И, конъюнкция)
- ∨ (ИЛИ, дизъюнкция)
- → (импликация)
- ≡ (эквиваленция) — самый низкий
Примеры:
¬A ∧ B=(¬A) ∧ B, НЕ¬(A ∧ B)A ∨ B ∧ C=A ∨ (B ∧ C), НЕ(A ∨ B) ∧ C
Правило: Скобки всегда изменяют порядок вычисления!
Пошаговая стратегия:
- Перепроверьте понимание операций — убедитесь, что правильно помните таблицы истинности
- Преобразуйте выражение: Импликацию можно заменить на ¬A ∨ B для упрощения
- Используйте метод исключения: Определите, где переменные точно НЕ могут быть
- Проверяйте каждую гипотезу на всех строках таблицы
- Запишите промежуточные вычисления — часто ошибка в арифметике
Если совсем не получается: Попробуйте перебрать все возможные комбинации соответствий (их немного для 3 переменных).
Рекомендуемое время: 3-5 минут
Распределение времени:
- 1 минута — внимательное чтение условия и анализ выражения
- 2-3 минуты — поиск соответствия переменных
- 1 минута — проверка ответа на всех строках
Важно: Не тратьте больше 5 минут! Это базовое задание за 1 балл. Если застряли, отметьте задание и вернитесь к нему позже.
На тренировках: Стремитесь решать за 2-3 минуты, чтобы на экзамене был запас времени.
Ответ: Да, но это нецелесообразно для задания №2.
Почему не стоит:
- Задание простое и решается за 2-3 минуты вручную
- Написание программы займёт больше времени
- Риск ошибки в коде выше, чем при анализе вручную
- На экзамене нет компьютера для тестирования кода
Когда программа может помочь:
- При подготовке — для проверки своих решений
- Для автоматической генерации таблиц истинности при обучении
Рекомендация: Научитесь решать это задание быстро вручную — это надёжнее и быстрее.
💡 Советы и рекомендации
- Всегда начинайте с анализа самых информативных строк
- Обращайте внимание на переменные, встречающиеся несколько раз в выражении
- Используйте метод исключения - если переменная точно не в каком-то столбце, это сужает поиск
- Проверяйте свой ответ на всех строках таблицы
- Преобразуйте импликацию в более удобную форму: A → B = ¬A ∨ B
- Записывайте промежуточные вычисления - это помогает не запутаться
- Не пытайтесь перебирать все возможные комбинации - это долго
- Не забывайте про приоритет операций
- Не путайте импликацию с другими операциями
- Не игнорируйте отрицания - они меняют значения
- Не спешите с ответом - всегда делайте проверку
Типичные ошибки
Ошибка 1: Неправильное понимание импликации
Проблема: Многие считают, что A → B означает "если A, то B" в житейском смысле.
Решение: Помните, что A → B ложно ТОЛЬКО когда A = 1 и B = 0. Во всех остальных случаях импликация истинна!
Ошибка 2: Забывание о приоритете операций
Проблема: Выражение x ∨ y ∧ z вычисляется не слева направо.
Решение: Сначала выполняется AND, потом OR: x ∨ (y ∧ z)
Ошибка 3: Невнимательность при подстановке
Проблема: При проверке путают столбцы или неправильно читают значения.
Решение: Аккуратно отмечайте, какой столбец какой переменной соответствует, используйте карандаш и бумагу.
Лайфхаки для быстрого решения
🚀 Быстрый метод для конъюнкции
Если в выражении есть (A ∧ B) или (A ∧ B ∧ C), ищите строку где результат = 1. В этой строке все переменные из конъюнкции должны быть равны 1. Это сразу даёт вам несколько переменных!
🚀 Быстрый метод для дизъюнкции
Если в выражении есть (A ∨ B) или (A ∨ B ∨ C), ищите строку где результат = 0. В этой строке все переменные из дизъюнкции должны быть равны 0.
🚀 Метод "особой переменной"
Если одна переменная встречается в выражении чаще других (например, в обеих скобках), начните с её определения. Часто это ключ к быстрому решению!
Подготовка к экзамену
- Выучите таблицы истинности всех базовых операций наизусть
- Потренируйтесь на 20-30 задачах разного уровня сложности
- Засекайте время - на задание должно уходить не более 5 минут
- Проверяйте себя - не пропускайте этап проверки ответа
- Разберите ошибки - понимание ошибок важнее количества решённых задач
Полезные ресурсы
Для дополнительной практики рекомендуется:
- Решать задачи из открытого банка заданий ФИПИ
- Использовать онлайн-тренажёры по логике
- Просматривать разборы задач прошлых лет
- Решать пробные варианты ЕГЭ целиком для набора опыта
📊 Краткая справочная таблица
| Операция | Обозначения | Когда = 1 | Когда = 0 |
|---|---|---|---|
| Конъюнкция (И) | ∧, AND, & | A=1 И B=1 | A=0 ИЛИ B=0 |
| Дизъюнкция (ИЛИ) | ∨, OR, | | A=1 ИЛИ B=1 | A=0 И B=0 |
| Отрицание (НЕ) | ¬, NOT, ! | A=0 | A=1 |
| Импликация | →, ⇒ | A=0 ИЛИ B=1 | A=1 И B=0 |
| Эквиваленция | ≡, ↔, ~ | A=B | A≠B |
| Исключающее ИЛИ | ⊕, XOR | A≠B | A=B |
🎓 Итоговые рекомендации
Задание №2 - это одно из самых простых заданий ЕГЭ по информатике, если вы хорошо знаете таблицы истинности. Главное:
- Знать таблицы истинности всех операций
- Понимать приоритет выполнения операций
- Уметь быстро находить информативные строки
- Проверять свой ответ
С правильной подготовкой это задание можно решать за 2-3 минуты и гарантированно получать 1 балл на экзамене!