"Информатика", Поляков К.Ю., Еремин Е.А.
Импликация, эквивалентность и исключающее ИЛИ расширяют набор логических операций, знакомых по операциям НЕ, И и ИЛИ. С их помощью можно выразить условие «если…, то…», совпадение двух высказываний или выбор ровно одного истинного варианта. Главное — помнить, при каких значениях каждая операция истинна, и аккуратно применять эти правила при вычислении сложных выражений.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Импликация A → B — логическая операция, которую читают «если A, то B». Она ложна только тогда, когда A истинно, а B ложно. Импликация нужна, чтобы записывать условную связь между высказываниями и проверять, нарушается ли правило «из истинного следует истинное».
Эквивалентность A ↔ B означает «A тогда и только тогда, когда B». Она истинна, если значения A и B совпадают, и ложна, если они различаются. Эта операция помогает выразить, что два условия выполняются одновременно или не выполняются одновременно.
Исключающее ИЛИ A ⊕ B истинно, когда ровно одно из высказываний A и B истинно. Если оба высказывания истинны или оба ложны, результат равен 0. Операция удобна, когда нужно выбрать один из двух вариантов, но не оба сразу.
Чтобы найти значение импликации A → B, сначала установите значения A и B, а затем проверьте, нарушено ли правило «из истинного следует истинное». Нарушение возможно только в том случае, когда A истинно, а B ложно. Поэтому удобно искать именно эту пару значений: если её нет, импликация истинна.
При ложном A импликация считается истинной независимо от значения B. Причина в том, что условие не сработало: нельзя сказать, что из истинного основания получилось ложное следствие. Это правило может показаться непривычным, но оно делает таблицу импликации однозначной: среди четырёх сочетаний только одно даёт ложь.
Эквивалентность A ↔ B можно представить как две импликации, соединённые операцией И: (A → B) ∧ (B → A). Первая проверяет, следует ли B из A, а вторая — следует ли A из B. Если истинны обе, значения высказываний должны совпадать; если одно направление не выполняется, эквивалентность ложна.
Для исключающего ИЛИ достаточно сравнить значения высказываний. Если одно равно 1, а другое 0, они различаются и результат A ⊕ B равен 1. Когда значения одинаковы, результат равен 0: именно поэтому исключающее ИЛИ не следует путать с обычным ИЛИ, которое допускает истинность обоих высказываний.
Сложные выражения вычисляют по частям, а скобки показывают, какие действия нужно выполнить раньше. Например, сначала находят значения операций внутри скобок, затем применяют операцию между полученными результатами. Если скобок нет, нужно соблюдать принятый порядок логических операций; промежуточные результаты полезно записывать отдельно, чтобы не перепутать значения.
| A | B | A → B | A ↔ B | A ⊕ B |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 |
Каждая строка таблицы задаёт один набор значений A и B, а последние три столбца показывают результаты операций для этого набора. Чтобы найти результат, сначала выберите подходящую строку по значениям переменных, затем прочитайте нужный столбец. При построении таблицы сложного выражения такую же проверку выполняют для всех строк.
Для A = 1 и B = 0 найдите значения A → B, A ↔ B и A ⊕ B. Здесь A истинно, а B ложно, поэтому именно этот набор особенно важен для проверки импликации. Вычислим операции по определениям.
Ответ: A → B = 0, A ↔ B = 0, A ⊕ B = 1. Тот же результат можно получить, найдя в таблице строку A = 1, B = 0. Сверка с таблицей помогает проверить вычисления по определениям.
Построим таблицу истинности выражения (A → B) ∧ (A ⊕ B). Нужно проверить все сочетания A и B, потому что каждое из них может изменить результат. Сначала отдельно вычислим импликацию и исключающее ИЛИ, а затем соединим результаты операцией И.
Ответ: итоговые значения выражения для наборов 00, 01, 10, 11 — соответственно 0, 1, 0, 0. Выражение истинно только при A = 0 и B = 1. Поэтапное вычисление показывает, какая операция дала результат в каждой строке.
Определим, при каких значениях A и B выражение (A ↔ B) → (A ∨ B) ложно. По правилу импликации для этого её основание должно быть истинным, а следствие — ложным. Поэтому достаточно найти строки, где A ↔ B = 1 и A ∨ B = 0.
Ответ: выражение ложно только при A = 0 и B = 0. Здесь основание импликации истинно, а её следствие ложно. Проверка остальных строк подтверждает, что других случаев ложной импликации нет.
Ошибка: считать импликацию ложной при любом ложном A. Так думают, потому что воспринимают запись «если A, то B» только как обычное условие; однако по таблице истинности при A = 0 импликация всегда равна 1. Проверьте себя на наборах 00 и 01: оба дают истинный результат.
Ошибка: путать эквивалентность и исключающее ИЛИ. Эти операции легко перепутать из-за того, что обе сравнивают значения A и B, но эквивалентность истинна при совпадении, а исключающее ИЛИ — при различии. Для самопроверки сравните результаты в строках 00 и 01.
Ошибка: считать, что A → B равносильно B → A. Перестановка меняет основание и следствие, а значит, меняется и единственная пара, при которой импликация ложна. Например, при A = 1, B = 0 значение A → B равно 0, а B → A равно 1.
Ошибка: вычислять сложное выражение, не учитывая скобки и порядок операций. Тогда неверно определяются промежуточные значения, и итог может получиться неправильным даже при знании каждой операции. Проверьте себя: запишите отдельный столбец для каждого шага и сначала вычисляйте части в скобках.
Для работы с новыми операциями нужно уметь распознавать высказывания и определять, истинны они или ложны. Также понадобятся знакомые операции НЕ, И и ИЛИ: с их помощью можно записывать и преобразовывать логические выражения. Таблицы истинности помогают вычислять значения выражений, проверять преобразования и решать задачи на поиск значений переменных.
Почему импликация истинна, если её основание ложно?
Импликация проверяет, бывает ли так, что истинное условие приводит к ложному следствию. Если основание ложно, такого нарушения нет, поэтому импликацию считают истинной.
Чем импликация отличается от эквивалентности?
Импликация A → B проверяет направление от A к B и ложна при A = 1, B = 0. Эквивалентность A ↔ B истинна, когда A и B совпадают, то есть проверяет оба направления.
Как отличить исключающее ИЛИ от обычного ИЛИ?
Обычное ИЛИ истинно, если истинно хотя бы одно высказывание, в том числе оба сразу. Исключающее ИЛИ истинно только тогда, когда истинно ровно одно из двух высказываний.
Меняется ли значение импликации, если поменять местами A и B?
Да, потому что A → B и B → A проверяют разные направления. Например, при A = 1 и B = 0 первая импликация ложна, а вторая истинна.
Как построить таблицу истинности для выражения с несколькими логическими операциями?
Сначала перечислите все сочетания значений переменных, затем вычисляйте части выражения по скобкам и порядку операций. Записывайте результаты промежуточных действий в отдельные столбцы, а последним вычислите всё выражение.
§ 10. Другие логические операции
