Как решать таблицы истинности на ЕГЭ по информатике: коротко
Выучи пять операций: отрицание, конъюнкцию, дизъюнкцию, импликацию и эквивалентность. Импликация ложна только в одном случае — когда из единицы следует ноль. Дальше перебери все наборы значений переменных, посчитай выражение по шагам и сравни с фрагментом таблицы из условия. Если перебор руками долгий, напиши короткую программу на Python с вложенными циклами — она сделает его без ошибок, а ты только сопоставишь столбцы.
Почему импликация кажется нелогичной и задача превращается в угадайку
Знакомая картина: конъюнкцию и дизъюнкцию ты понял за пять минут, а на стрелке всё рассыпается. Почему «ноль следует единица» — это истина? Почему «ноль следует ноль» тоже истина? Кажется, что это просто надо зазубрить, а зазубренное под стрессом путается. В итоге на экзамене ты подставляешь значения наугад, сверяешь с ответами в конце сборника и не понимаешь, почему в одной задаче сошлось, а в соседней нет.
Корень проблемы в том, что импликацию объясняют формулой, а не смыслом. В обычной речи «если, то» звучит как причина и следствие, а в логике это обещание. Пока ты читаешь стрелку как «одно вызывает другое», таблица будет казаться бредом. Стоит переключиться на «обещание нарушено или нет» — и всё встаёт на место. Вторая причина — спешка: школьники пытаются считать всё выражение в голове целиком, вместо того чтобы разбить его на маленькие шаги.
Третья причина — привычка решать только руками. Ручной перебор полезен, чтобы понять механику, но на экзамене он медленный и рискованный: одна перепутанная строка, и ответ уходит. Поэтому дальше разберём оба пути — как понять операции так, чтобы не путаться, и как поручить перебор программе, оставив себе только логику сопоставления.
Логические операции простым языком: что значит каждая
Отрицание — самое простое: «не A» переворачивает значение, единица становится нулём и наоборот. Конъюнкция, или логическое «и», истинна, только когда истинны оба операнда. Представь, что для входа в зал нужен и билет, и паспорт: без любого из них не пустят. Дизъюнкция, или логическое «или», ложна, только когда ложны оба. Хватает хотя бы одного условия, как с оплатой картой или наличными — подходит любой способ.
Эквивалентность истинна, когда значения совпадают: оба нуля или обе единицы. Её удобно читать как «A и B одинаковые». Если в выражении стоит тройная черта или двусторонняя стрелка — это она. Многие путают эквивалентность с импликацией из-за похожих значков, поэтому перед решением всегда смотри, в какую сторону направлена стрелка и есть ли у неё второй наконечник.
Импликация — «из A следует B». Читай её как обещание: «если пойдёт дождь, я возьму зонт». Обещание нарушено, только если дождь пошёл, а зонта нет — это единица, из которой следует ноль. Если дождя не было, ты ничего не нарушил, взял зонт или нет. Отсюда и правило: импликация ложна только в паре «1 → 0», во всех остальных трёх случаях она истинна.
Как запомнить импликацию и не путаться под стрессом
Самый надёжный способ — заменить импликацию на выражение без стрелки. A → B равно «не A или B». Проверь сам: если A ложно, то «не A» истинно, и дизъюнкция сразу истинна. Если A истинно, всё решает B. Это ровно та же таблица, только записанная через операции, которые ты уже понимаешь. На экзамене такая замена снимает половину ошибок, потому что дизъюнкцию никто не путает.
Второй приём — запомнить импликацию как сравнение чисел. Если считать ноль и единицу числами, то A → B истинно тогда, когда A меньше или равно B. Пара «1 и 0» — единственная, где левое больше правого, и именно она даёт ложь. Это удобно не только для памяти, но и для программы: в Python для логических значений сравнение «меньше или равно» работает как импликация.
Третий приём — порядок действий. Сначала скобки, потом отрицание, потом конъюнкция, затем дизъюнкция, и только после них импликация и эквивалентность. Если сомневаешься в приоритете, расставь скобки сам ещё до подсчёта. Лишние скобки ничего не испортят, а забытая может перевернуть ответ. Запиши этот порядок на черновике в начале экзамена, пока голова свежая.
Как построить таблицу истинности руками: пошагово
Посчитай переменные. Для двух переменных будет четыре строки, для трёх — восемь, для четырёх — шестнадцать: каждая новая переменная удваивает число наборов. Чтобы не пропустить строку, выписывай наборы как двоичные числа по порядку: 000, 001, 010 и дальше до 111. Так ни один набор не потеряется и не повторится, а проверить полноту таблицы можно одним взглядом.
Разбей выражение на кусочки и дай каждому свой столбец. Например, для выражения «(A или B) → не C» заведи столбцы «A или B», «не C» и итоговый. Считай столбец целиком сверху вниз, а не строку целиком слева направо — так меньше переключений в голове и меньше шансов ошибиться. Промежуточные столбцы кажутся лишней работой, но именно они позволяют быстро найти, где закралась ошибка.
Когда итоговый столбец готов, проверь его хотя бы по двум строкам заново, другим способом. Например, подставь значения в формулу «не A или B» вместо стрелки. Если результат совпал, таблица скорее всего верна. Такая самопроверка занимает минуту, а экономит потерянный балл. Для тренировки строй таблицы руками, пока не начнёшь делать это без подсказок, — потом перейдёшь к программе.
Как проверить решение программой на Python
На компьютерном ЕГЭ перебор удобно отдать программе. Идея простая: вложенные циклы перебирают каждую переменную по значениям 0 и 1, внутри считается выражение, и программа печатает те наборы, где выражение равно нужному значению. Для четырёх переменных это четыре цикла вида «for x in range(2)» и одна строка с условием. Писать такое быстрее, чем рисовать шестнадцать строк, и программа не устаёт к концу экзамена.
Главное — правильно перевести операции. Отрицание — это «not», конъюнкция — «and», дизъюнкция — «or», эквивалентность — двойное равно. Импликацию записывай как «(not a) or b» или через сравнение «a <= b». Не забывай скобки вокруг каждой импликации: у сравнения в Python свой приоритет, и без скобок выражение посчитается не так, как ты задумал. Это самая частая ошибка у тех, кто переносит формулу в код механически.
Программа выдаёт строки, а дальше начинается логика: сопоставить их с фрагментом таблицы из условия. Смотри на столбцы, где известно больше всего значений, и подбирай переменную, которая подходит по всем строкам. Перестановок немного, и обычно хватает пары проверок. Если с синтаксисом пока туго, на /ege есть бесплатная теория по темам ФИПИ и тренажёры по логике — там удобно набить руку на однотипных задачах.
Типичные ошибки в задачах на логику
Первая ошибка — перепутать направление стрелки. A → B и B → A — разные выражения с разными таблицами. Перед подсчётом подчеркни, что стоит слева от стрелки, а что справа. Вторая — забыть отрицание над скобкой. Черта над всей скобкой отрицает результат скобки, а не каждую переменную отдельно. Если хочешь раскрыть её, используй законы де Моргана: «не (A и B)» — это «не A или не B».
Третья ошибка — решить, что фрагмент таблицы содержит все строки. Обычно в условии дана только часть наборов, причём строки могут повторяться или стоять не по порядку. Не пытайся восстановить полную таблицу по фрагменту — сопоставляй только то, что дано. Четвёртая — игнорировать подсказку «строки не повторяются»: она часто помогает отсечь неподходящую расстановку переменных за один шаг.
Пятая ошибка — доверять программе, не проверив её. Если программа выдала пустой результат или подозрительно много наборов, сначала проверь скобки и перевод операций, а уже потом сомневайся в условии. Хорошая привычка — прогнать код на простом выражении, ответ для которого ты знаешь заранее. Минута проверки на старте экономит десять минут поиска ошибки в конце.
Что делать, если логика всё равно не даётся
Можно ли сдать хорошо, если логика пока кажется тёмным лесом? Да, если не пытаться выучить всё сразу. Начни с одной операции в день: сегодня только импликация, завтра эквивалентность, послезавтра выражения из трёх операций. Решай по пять-десять коротких задач и проверяй каждую программой. Через неделю такой практики стрелка перестаёт пугать, потому что ты видел её в десятках вариантов.
Если застрял на конкретной задаче, не листай сразу ответ. Разложи выражение на промежуточные столбцы и найди, на каком шаге результат разошёлся с ожиданием. Чаще всего ошибка в одном месте — в направлении стрелки или в скобке. Когда нужен человеческий разбор, а репетитора под рукой нет, помогает ИИ-тренер в «Моём плане» — мини-приложении бота @prepodoff_bot в Telegram: он объясняет теорию, разбирает твоё решение и составляет план подготовки к экзамену.
И не откладывай логику на конец года. Эта тема связана с другими задачами на информатике, где тоже встречаются логические условия, в том числе в программах. Чем раньше операции станут привычными, тем легче пойдут циклы, условия и перебор. Лучше потратить на логику пару спокойных недель осенью, чем пытаться понять импликацию за вечер перед экзаменом.
Где тренироваться бесплатно и что делать дальше
Логика на ЕГЭ — не угадайка, а набор простых правил: пять операций, порядок действий, аккуратный перебор и сопоставление с фрагментом таблицы. Импликация перестаёт быть загадкой, как только ты читаешь её как обещание или как «не A или B». А перебор, на котором ошибаются чаще всего, можно отдать программе на Python и оставить себе только думающую часть.
Чтобы закрепить тему, нужна практика на однотипных задачах с разбором. Бесплатная подготовка к ЕГЭ на Prepodoff — /ege — даёт теорию по темам ФИПИ, тренажёры и разборы решений. Аккаунт нужен, чтобы сохранять прогресс и видеть, какие темы уже закрыты, а к каким стоит вернуться. Начни с логики, а потом переходи к соседним темам по информатике.
Хороший ориентир готовности такой: ты берёшь незнакомое выражение из четырёх переменных, без подсказок переводишь его в код, получаешь наборы и сопоставляешь их с фрагментом таблицы, не заглядывая в ответ. Если это получается спокойно и без нервного перебора вариантов, тема закрыта. Если нет — вернись к промежуточным столбцам и к замене стрелки на «не A или B», а потом снова прогони пару задач на тренажёре.
