скачать
Аналитические и программные методы решения.

Задание линии 2 в его современном виде появилось в Демоверсии-2016 и за 8 лет не претерпело особых изменений. Постепенно условие трансформировалось из задачи на анализ полной таблицы истинности в анализ частично заполненного фрагмента таблицы истинности.

Аналитический метод решения
Данный метод сводится к следующей последовательности действий:
1) Найти наборы переменных, соответствующие данным в таблице,
2) Сопоставить найденные наборы и строки из фрагмента,
3) Определить порядок столбцов во фрагменте
Для использования метода нужно знать, какие бывают логические операции и их приоритет, и уметь строить таблицу истинности.Логические операции и их приоритет выполнения На сегодня (ЕГЭ-2024) в заданиях встречается 5 операций: отрицание, логическое умножение,логическое сложение, логическое следование и логическая равнозначность. Так же эти операции могут называться инверсией, конъюнкцией, дизъюнкцией, импликацией и тождество/эквивалентностью соответственно.

В заданиях 2 линии в ЕГЭ вычисления регламентированы скобками. Как минимум пока что не было заданий, где нужно было бы сначала решить в каком порядке выполняются операции.Однако никто не застрахован от подобных сюрпризов. Поэтому рассмотрим и этот небольшой блок.Приоритет выполнения операций (меньше номер – больший приоритет)

Подбор вариантов по значению
В заданиях ЕГЭ встречались задания, в которых значения функции для фрагмента таблицы были одинаковые (либо 0, либо 1). Поэтому для более удобного и быстрого нахождения наборов можно их подобрать исходя из значений результата.

Обычно одну переменную можно определить однозначно сразу, либо сделав несложное наблюдение. Например, в Демоверсии-2024 это значение w равное 1 (так как для других значений выражение будет истинно). В демоверсии-2022 было выражение ¬(y→(x≡w))∧(z→x)=1. В котором также можно определить однозначно значение y = 1, так как логическое произведение должно быть равно 1, следовательно, выражение под отрицанием в первой скобке должно принимать ложное значение, это возможно только при y = 1. В варианте резервного дня в 2022 году однозначно определялось уже 2 переменных w→((x→z)→y) = 0. w = 1, y = 0.

Поэтому первый прием – попробовать найти переменную (или пару переменных), которые принимают строго заданное значение.
Второй прием – разделить выражение на подвыражения и потом из найденных значений составить наборы переменных.