Просто УрокТаблицы истинности
Если «Таблицы истинности» вызывает ступор — это нормально: тема собрана из простых идей. Покажем их по порядку: теория, пример, разбор задания и типичные ошибки.
Что такое таблица истинности
Если в задачах по логике путаются слова «и», «или», «не», а ответ приходится угадывать, таблица истинности поможет навести порядок. Это простой способ проверить высказывание при всех возможных значениях переменных. Разберёшь несколько правил, научишься заполнять строки без пропусков и сможешь уверенно решать задания по алгебре логики на уроках, ОГЭ и ЕГЭ.
Высказывание — это фраза, о которой можно сказать, истинна она или ложна. Истинное значение обозначают буквой И или числом 1, ложное — буквой Л или числом 0. Например, «7 больше 3» — истинное высказывание, а «2 равно 5» — ложное.
Буквы A, B, C называют логическими переменными. Они принимают только два значения: 1 или 0. Из простых высказываний составляют сложные с помощью логических операций. Таблица истинности показывает результат операции для каждого возможного набора значений переменных.
Начинай с внимательного чтения выражения: сначала определи переменные, затем операции и их порядок. Такая привычка полезна и при самостоятельной подготовке в бесплатной практике в личном кабинете.
Основные логические операции
Отрицание «не A» меняет значение переменной на противоположное. Если A истинно, то не A ложно; если A ложно, то не A истинно. В записи часто используют ¬A или ¯A. Для школьных задач достаточно помнить смысл слова «не» и не смешивать его с изменением только одного фрагмента фразы.
Конъюнкция A ∧ B читается «A и B». Она истинна только тогда, когда истинны оба высказывания. Во всех остальных случаях результат равен 0. В обычной записи иногда встречается знак ·, но важно отличать логическое «и» от арифметического умножения.
Дизъюнкция A ∨ B читается «A или B». В логике это, как правило, нестрогое «или»: достаточно, чтобы истинным было хотя бы одно высказывание. Поэтому A ∨ B ложно только при A = 0 и B = 0.
Импликация A → B означает «если A, то B». Она ложна лишь в одной ситуации: A истинно, а B ложно. Эквиваленция A ↔ B истинна, когда значения совпадают. Важно заранее уточнить, какой знак использован в условии, и не заменять одну операцию другой.
Проговори выражение словами перед вычислением. Фраза «если A, то B» сразу напоминает: опасная строка только одна — 1 → 0. Это снижает число ошибок при заполнении таблицы.
Как построить таблицу
Сначала посчитай количество переменных. Если их n, строк с наборами значений будет 2ⁿ. Для двух переменных получаем 2² = 4 строки, для трёх — 2³ = 8. Не забудь: обычно добавляют отдельную верхнюю строку с названиями столбцов.
Затем выпиши все комбинации нулей и единиц. Удобнее заполнять их последовательным узором: первая переменная меняется через половину строк, вторая — через каждую строку. Для трёх переменных первая будет иметь четыре единицы и четыре нуля, вторая — пары одинаковых значений, третья — чередование 0 и 1.
После исходных столбцов добавь промежуточные действия. Например, для выражения ¬A ∨ (B ∧ C) нужны столбцы A, B, C, B ∧ C, ¬A и итоговый результат. Считай от внутренних скобок к внешним, чтобы не держать несколько операций в голове.
| A | B | A ∧ B | A ∨ B |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 |
Проверь количество строк и отдельно пересмотри места со скобками. Если хочешь сразу потренироваться на похожих примерах, в личном кабинете доступны задания для бесплатной практики.
Разобранный пример
Построим таблицу истинности для выражения (A → B) ∧ ¬B. Здесь две переменные, значит, понадобятся четыре набора значений. Сначала выпишем A и B, затем отдельно найдём импликацию A → B, отрицание ¬B и только после этого выполним логическое «и».
A | B | A → B | ¬B | (A → B) ∧ ¬B
0 | 0 | 1 | 1 | 1
0 | 1 | 1 | 0 | 0
1 | 0 | 0 | 1 | 0
1 | 1 | 1 | 0 | 0
Разберём первую строку полностью. При A = 0 и B = 0 импликация A → B истинна, потому что она не нарушена: условие A не выполнилось. Далее ¬B = 1. Значит, 1 ∧ 1 = 1, и итоговое выражение истинно.
В третьей строке A = 1, B = 0. Здесь как раз возникает единственный ложный случай импликации: из истинного A следует ложное B, поэтому A → B = 0. Хотя ¬B = 1, конъюнкция 0 ∧ 1 всё равно равна 0.
В конце посмотри на последний столбец целиком: выражение истинно только при A = 0 и B = 0. Таблица не просто даёт ответ, а объясняет, почему он получился.
Типичные ошибки и проверка
Первая ошибка — забыть часть наборов. При трёх переменных нельзя ограничиться четырьмя строками: нужно восемь. Вторая — принять логическое «или» за исключающее. В школьной логике A ∨ B обычно равно 1 и при A = 1, B = 1, если отдельно не сказано «либо… либо, но не оба».
Третья ошибка связана с импликацией. Многие считают, что A → B ложно при любых разных значениях, но это неверно. При A = 0 и B = 1 результат равен 1. Удобная проверка: ищи только ситуацию «условие выполнилось, а обещанный результат нет».
Четвёртая проблема — неверный порядок действий. Отрицание выполняется раньше конъюнкции и дизъюнкции, скобки имеют приоритет, а импликацию обычно считают после более простых операций. Если порядок не указан, сверяйся с правилами конкретного курса или задания.
Не переписывай итоговый столбец «на глаз». Даже если выражение кажется знакомым, промежуточные столбцы показывают, на каком шаге появилась ошибка.
Полезно сделать обратную проверку: выбери одну строку и подставь значения прямо в исходное выражение. Если результат не совпадает с таблицей, проверь скобки и промежуточную операцию.
Что запомнить
Таблица истинности перебирает все возможные значения логических переменных и показывает результат выражения. Для n переменных нужно 2ⁿ строк. Отрицание меняет 0 на 1 и 1 на 0; «и» даёт 1 только при двух единицах; «или» даёт 0 только при двух нулях; импликация A → B ложна только при 1 → 0.
Решай по алгоритму: выпиши переменные, составь все наборы, добавь промежуточные столбцы, вычисляй от скобок к итоговому выражению и проверь подозрительные строки подстановкой. Так таблица превращается из набора символов в понятную последовательность действий.
Следующий шаг — зарегистрируйся и реши 5 заданий бесплатно в личном кабинете. После этого можно перейти к подборке заданий для ОГЭ или повторить более сложные варианты для ЕГЭ.
Как закрепить тему после разбора?
Сначала реши несколько таблиц для одной и двух переменных, затем переходи к трём. Каждый раз выписывай промежуточные столбцы и проговаривай операции словами. После решения сравнивай не только итог, но и первую ошибочную строку.
Сколько строк должно быть в таблице?
Если в выражении n разных переменных, количество строк равно 2ⁿ. При двух переменных будет 4 строки, при трёх — 8, при четырёх — 16.
Когда импликация равна нулю?
Только в случае A = 1 и B = 0. Это ситуация, когда условие истинно, но обещанный результат не наступил.
Зачем нужны промежуточные столбцы?
Они помогают соблюдать порядок действий и быстро находить ошибку. Для выражения со скобками промежуточные столбцы особенно важны: сначала вычисляй внутренние операции, затем итог.
Закрепить тему на практике
Теория без практики забывается за неделю. В личном кабинете Просто Урок — задания именно по этой теме с проверкой каждого шага. Регистрация бесплатная.