Таблица истинности: примеры для «и», «или», «не» и импликации. Заполним восемь строк, найдём ошибку скобок и проверим правило входа по каждому набору данных.
Андрей
Преподаватель, научный редактор
8 мин чтения
Восемь строк вместо одного удобного случая. Столько понадобилось, чтобы заметить: в переписанной формуле обладатель пропуска проходит даже при закрытом входе. На занятии таблица истинности и примеры к ней помогают мне показать именно такую разницу. Символы могут остаться прежними, а правило уже работает иначе.
Разберём вымышленное условие посещения выставки. Для входа нужен пропуск или приглашение, но при закрытом входе не проходит никто. Сначала построим полную таблицу, потом изменим скобки и найдём конкретную строку ошибки. Отдельно посмотрим на импликацию: у неё другой смысл, чем у привычного соединения двух условий.
Таблица истинности: примеры начинаются с подписанных букв
Я не начинаю с восьми пустых строк. Сначала прошу ученика написать, что утверждает каждая буква. Для нашей задачи беру три высказывания:
A: у посетителя есть пропуск.
B: у посетителя есть приглашение.
C: вход в зал закрыт.
Значение 1 означает, что утверждение истинно,0 — ложно. Поэтому C=1 в нашем примере запрещает проход. Если забыть значение буквы и мысленно читать её как «зал открыт», можно аккуратно заполнить совсем другую задачу.
Мы работаем с классической двузначной логикой. Здесь нет третьего значения «ещё не спросили». Отсутствие сведений о пропуске в реальной жизни не равно доказанному отсутствию пропуска; для учебной таблицы рассматриваем заданные значения признаков.
Введём три операции. Конъюнкция ∧, то есть «и», истинна, когда истинны обе части. Дизъюнкция ∨, то есть включающее «или», истинна, когда истинна хотя бы одна часть, в том числе обе. Отрицание ¬ меняет 0 на 1 и 1 на 0.
Последняя оговорка об «или» здесь нужна. Посетитель может иметь и пропуск, и приглашение. По нашему условию лишний документ его не лишает права войти. Исключающее «либо одно, либо другое» описывало бы уже другое правило.
Как из трёх признаков получились восемь строк
Сначала объединяем основания входа: A∨B. Затем требуем, чтобы вход не был закрыт: ¬C. Всё правило получается таким:F=(A∨B)∧¬C.
Для каждой из трёх букв есть два значения. Поэтому наборов 2×2×2=8. Порядок строк можно выбрать другой, но нельзя пропустить набор или записать один дважды.
Число строк зависит от количества разных переменных, а не от длины выражения. Если буква A встретилась дважды, она не получила два независимых значения. Например, в записи (A∨B)∧(¬C∨A) по-прежнему только три переменные и восемь наборов. В одной строке оба появления A читаются одинаково.
Промежуточный столбец тоже не добавляет новый свободный признак. Значение A∨B уже определяется выбранными A и B. Его нельзя отдельно назначить нулём или единицей по желанию. Если объявить каждый вычисленный столбец новой переменной, число строк начнёт расти, но такая таблица перестанет описывать исходную формулу. Поэтому я сначала выписываю буквы из условия, а затем отдельно перечисляю нужные вычисления.
Я использую двоичный порядок от 000 до 111. В первом столбце идут четыре нуля и четыре единицы. Во втором значение меняется через две строки, в третьем — в каждой строке. Это технический способ перечисления, а не отдельное логическое правило.
Чтобы не вычислять всё выражение в уме, добавляю два промежуточных столбца:
A · B · C · A∨B · ¬C · F=(A∨B)∧¬C
0 — 0 — 0 — 0 — 1 — 0
0 — 0 — 1 — 0 — 0 — 0
0 — 1 — 0 — 1 — 1 — 1
0 — 1 — 1 — 1 — 0 — 0
1 — 0 — 0 — 1 — 1 — 1
1 — 0 — 1 — 1 — 0 — 0
1 — 1 — 0 — 1 — 1 — 1
1 — 1 — 1 — 1 — 0 — 0
Пройдём третью строку словами. Пропуска нет, приглашение есть, вход открыт. Основание для посещения есть, запрета нет, поэтому итог 1.
А в шестой строке пропуск есть, но вход закрыт. Столбец A∨B содержит 1, отрицание C даёт 0. Последнее «и» возвращает 0. Правило не позволяет наличию документа отменить закрытый вход.
Я проверил все 8 строк отдельно. Особенно смотрел на седьмую: оба основания присутствуют, вход открыт, результат 1. Это быстрый способ заметить, не заменилось ли включающее «или» исключающим.
Таблица истинности: примеры с разными скобками
Ученик переписал формулу так:G=A∨(B∧¬C). Все буквы на месте. Даже отрицание осталось у C. Но теперь ограничение закрытого входа относится только к части с приглашением.
Не обязательно сразу строить ещё одну большую таблицу. Достаточно найти набор, на котором выражения расходятся. Возьмём A=1,B=0,C=1.
В первоначальном правиле сначала получается 1∨0=1, затем¬1=0. Итог 1∧0=0. В изменённом сначала вычисляем 0∧0=0, а затем 1∨0=1. Посетитель с пропуском обошёл закрытый вход.
Вот наш контрпример:
Набор · Первоначальное F · Изменённое G · Что различается
A=1,B=0,C=1 — 0 — 1 — Во второй записи пропуск стал самостоятельным основанием без общего ограничения
Одна строка доказывает, что эти формулы не равнозначны. Но совпадение одной строки обратного не доказывает: например, при A=B=C=0 обе дадут 0. Поэтому для подтверждения равнозначности по таблице нужно сравнить все наборы.
В таком разборе я прошу не только назвать правильный итог. Важнее показать, какой фрагмент формулы получил другое действие. Тогда ученик перестаёт относиться к скобкам как к необязательному украшению записи.
Если нужна помощь именно с выражениями, пригодится разбор работы с формулами. Здесь свой ответ мы уже можем проверить полным перебором восьми случаев.
Импликация не требует, чтобы обе части были истинны
Теперь отдельный пример с двумя буквами:P→Q. Он читается как «если P, то Q», но в классической таблице это формальная операция. Не следует автоматически подменять её утверждением о причине, времени или выполненном обещании.
У импликации единственная ложная комбинация:P истинно,Q ложно. Полная таблица такая:
P · Q · P→Q
0 — 0 — 1
0 — 1 — 1
1 — 0 — 0
1 — 1 — 1
Мне помогает сравнение с выражением¬P∨Q. Если P=0, его отрицание уже равно 1, поэтому включающее «или» даёт 1 при любом Q. Если P=1, остаётся значение Q. Так получаются те же четыре строки.
Это объяснение операции, а не обещание, что из ложного условия в обычной жизни обязательно произошло какое-то событие. На занятии я специально отделяю правила вычисления от бытовых ассоциаций.
И ещё одна проверка:P→Q и Q→P не одно и то же. При P=1,Q=0 первая импликация ложна, обратная истинна. Переставлять части стрелки так же свободно, как слагаемые в сумме, нельзя.
Где я ищу первую ошибку, если последний столбец не сходится
Сначала смотрю не на весь результат, а на промежуточные действия. Если неверно посчитано A∨B, дальнейшее «и» может быть выполнено совершенно правильно. Исправлять нужно первый неверный шаг.
Мой порядок проверки такой:
Сверить значение каждой буквы с условием задачи.
Убедиться, что перечислены все наборы без повторов.
Проверить отрицания и отдельные операции в промежуточных столбцах.
Затем пересчитать итог по каждой строке.
Отдельно пройти набор, где формула должна запрещать действие.
Часто ошибка оказывается в одном из понятных мест: «или» принято за исключающее, отрицание отнесено не к той части, потеряны скобки или неверно прочитан смысл C. Исправление итогового столбца без объяснения оставит причину на месте.
Построй полную таблицу для формулы [запись]. Сначала перечисли переменные и число наборов. Добавь отдельный столбец для каждой промежуточной операции. Используй двузначную логику и включающее «или». Затем сравни с моей таблицей [строки] и покажи первое расхождение. Не меняй формулу молча.
Это предлагаемый запрос. В статье показаны мои таблицы и собственная проверка, а не фактически полученный ответ сервиса. Даже готовое объяснение из чата нужно сопоставить с исходной формулой.
Если собираешь несколько заданий, соотнеси их объём с условиями работы LibraChat. Для короткой формулы можно начать с текста, не загружая весь учебник.
А на своей таблице измени одно «или» на «и». Сначала предскажи, какой посетитель перестанет проходить, затем найди соответствующую строку. Когда можешь показать конкретный набор и объяснить перемену, таблица уже помогает понимать правило, а не просто заполнять клетки нулями и единицами.
