У каждой операции своё условие истинности
Пусть переменные А и Б могут принимать значения истина или ложь. Отрицание меняет значение на противоположное. Связка и истинна, только когда истинны обе части. Связка или в обычной булевой логике истинна, когда истинна хотя бы одна часть, включая случай, когда истинны обе. Последнее отличие важно: в разговоре или иногда подразумевает выбор ровно одного варианта. В формальной задаче нельзя переносить это значение без специального указания. Сначала устанавливают используемую операцию, затем вычисляют результат. Импликация из А в Б ложна только при истинном А и ложном Б. В остальных трёх сочетаниях она истинна. Это определение логической операции, а не утверждение, что между любыми описанными событиями существует причинная связь.
Скобки и промежуточные столбцы сохраняют структуру
Рассмотрим выражение: отрицание А или Б. Оно совпадает по значениям с импликацией из А в Б. Для проверки полезно сначала вычислить отрицание А, а затем применить или к полученному результату и Б. Попытка сразу угадать весь ответ скрывает место возможной ошибки. Для двух переменных существуют четыре набора значений: обе ложны; А ложна, Б истинна; А истинна, Б ложна; обе истинны. Если записывать их в постоянном порядке, меньше риск случайно повторить строку или пропустить сочетание. В более сложном выражении удобно выделять отдельные части по скобкам. Не следует менять группировку ради привычного звучания фразы. Два похожих набора символов могут давать разные значения, если операции применяются в другом порядке.
Проверка должна объяснять расхождение
Для нашего выражения ложный результат получается только в третьем из перечисленных наборов. Здесь А истинна, её отрицание ложно, а Б тоже ложна. Связка или получает две ложные части. В остальных строках хотя бы одна часть истинна. Если получился другой ответ, полезно искать первый столбец, где нарушено определение операции. Так исправляется конкретный шаг, а не просто заменяется итоговое число. Особенно удобно проверять пограничные по смыслу случаи: обе переменные истинны и первая переменная ложна. Программа может подтвердить расчёт, но не заменяет понимание использованных операций. При переносе выражения в язык программирования нужно учитывать его синтаксис, приоритеты и обозначения. Учебная таблица остаётся способом заранее определить ожидаемый результат и заметить несоответствие.
Попробуйте на практике
Проверьте равенство двух логических выражений на всех наборах значений.
- Запишите четыре возможных сочетания значений А и Б в постоянном порядке. Убедитесь, что нет повторов и пропусков.
- Добавьте столбец отрицания А, затем столбец для выражения отрицание А или Б. Вычисляйте по одному шагу.
- Независимо заполните столбец импликации из А в Б по её определению. Сравните значения построчно.
- Найдите единственный ложный набор и объясните его словами. Если столбцы расходятся, укажите первый неверный промежуточный шаг.
Как проверить результат. Оба выражения дают истину в первом, втором и четвёртом наборах, ложь в третьем. Причина ложности объяснена истинным А и ложным Б.
Частые вопросы
Логическое или запрещает одновременную истинность?
Нет. Обычная дизъюнкция допускает истинность обеих частей. Для требования ровно одной истинной части используют другую логическую конструкцию.
Истинная импликация доказывает причину события?
Нет. Её значение определяется сочетанием истинности частей. Причинность является отдельным вопросом и не выводится автоматически из этой операции.
Самостоятельный разбор темы. Содержание конкретной обучающей программы здесь не представлено.