Упростите выражение информатика егэ

Две трети выпускников проваливают 18 задание ЕГЭ по информатике. Как же его решать? Нужно знать особый подход. Давайте разберемся, как эффективно справиться с этим коварным заданием.

В ЕГЭ по информатике есть четыре задания на математическую логику. Сегодня речь пойдёт о задании №18, которое связано с анализом логического высказывания. Статистика ужасна: по оценке ФИПИ с ним справляются чуть меньше 1/3 сдающих. Почему 18 задание ЕГЭ по информатике вызывает сложности? Давайте разберемся, что надо знать, понимать и уметь, чтобы их избежать.

А если вас интересуют и другие задания, эффективно подготовиться к ЕГЭ по информатике можно на наших курсах.

Вам нужны знания не только математической логики, но и просто математики. В качестве логической переменной (которая может быть истина или ложна) выступают не просто некие x, y, z, а математические высказывания. В ответе надо определить значения некоторого параметра, зависящего от этих переменных. Что-то напоминает? Да, почти как в задании 18 из профильной математики, но тут будет намного проще. Например, логической переменной может выступать выражение «x>10» или суждение о том, что x кратен 5. Рассмотрим, как подходить к такому виду логической переменной.

Если логическая переменная — неравенство

Все просто. Выражение «x>10» истинно для всех х, которые являются решением данного неравенства, то есть для x от 10 до +∞. И это выражение ложно для всех x, которые можно описать неравенством (x≤10) или x∈(+∞; 10]. Обратите внимание на число 10, когда x=10, логическая переменная (x>10) ложна.

Если логическая переменная — утверждение

Допустим, наша переменная — «x делится на 5». Тогда она истинна для всех х, которые кратны 5 (0, 5, 10, 15,…). Обратите внимание на то, что 0 кратен любому числу, а значит кратен 5 и тоже даст истинное значение. Методом исключения, данная логическая переменная ложна при всех х, которые не делятся на 5.

Вторая сложность в 18 задании ЕГЭ по информатике

Когда такие переменные рассматриваются отдельно, все выглядит просто. Но в 18 задании у вас будет целое логическое высказывание, содержащее несколько переменных и параметр, значение которого вам надо определить.

Это и есть вторая сложность данного задания — надо знать, как правильно подходить к анализу выражения. Для этого нужно помнить о двух принципиальных шагах:

1. Упрости, если есть возможность.
2. Определи «красную зону»

18 задание ЕГЭ по информатике важно решать постепенно. Сначала поговорим об упрощении, так как без этого шага очень сложно начать анализ. Затем обсудим, что такое «красная зона».

Как упростить выражение?

Смысл
этого шага в двух моментах:

1. Введите обозначения для удобства записи. Иначе некоторые переменные получаются слишком громоздкими.
2. Упростите зависимости логических переменных. Выражение, где смешаны несколько уровней скобок и логических функций, сложно анализировать. А вот идентичное ему выражение, в котором три переменных связаны дизъюнкцией, намного проще.

Для большинства заданий вам нужно знать несколько формул матлогики. Сохраните эту картинку, пригодится.

Что такое «красная зона»?

В задании нужно определить значения параметра, чтобы логическое высказывание было тождественно истинно при любых значениях переменной x. При этом мы не можем брать произвольно большой набор значений для искомого параметра, это также определяется условием задания. Поэтому нужно подбирать такие значения параметра, чтобы они закрывали только определённый ряд случаев, не больше и не меньше. Этот ряд случаев назовем «красной зоной», теми значениями переменной x, когда логическое высказывание не будет истинно при любых значениях параметра.

Простой пример. Возьмем логическое высказывание: (X < 50) V (X > A).

Нам не важно значение параметра А. У нас есть одно логическое слагаемое, которое истинно. Второе может быть ложно — дизъюнкция все равно в итоге даст истину. Значит «красная зона» — это все х≥50. Подбирать значение для параметра А необходимо только для случаев, когда х≥50, чтобы за счет второго слагаемого (где содержится А) обеспечить истинность всего выражения, когда первая скобка ложна.

Для правильного анализа красной зоны важно помнить об основных
моментах анализа некоторых логических функций:

1. Конъюнкция нескольких переменных будет истинна, только если каждый множитель истинен, и ложна, если хотя бы один множитель ложен.
2. Дизъюнкция нескольких переменных будет истинна, если хотя бы одно слагаемое истинно, и ложна, только если ложны все слагаемые.
3. Импликация ложна только в единственном случае — когда из истины следует ложь.

Примеры 18 задания ЕГЭ по информатике

Рассмотрим правильный подход на различных прототипах данного задания.

Пример 1

Решение

В данном логическом высказывании не требуется упрощений, так как у нас простой для анализа случай: дизъюнкция трёх переменных. Поэтому перейдём сразу к анализу и определению «красной зоны».

Вторая и третья скобки не зависят от А и обеспечат истинность всего выражения, независимо от параметра, если X>15 или Y>30. Тогда красной зоной будет ситуация, когда не выполняются ОБА из этих условий, то есть и вторая, и третья скобки одновременно ложны. Опишем этот случай системой:

В этой ситуации нам необходимо обеспечить истинность первой скобки, которая зависит от параметра. Дополним систему ещё одним условием.

Теперь мы свели задание к решению системы простейших неравенств. Определим границы для параметра А при помощи работы с неравенствами. Первое неравенство умножим на 2, затем сложим новое неравенство со вторым и сведём это всё к одному двойному неравенству за счёт одинакового выражения Y+2X.

Осталось вернуться к формулировке вопроса. Вас всегда будут спрашивать что-то конкретное относительно значений параметра А! В данном случае нам надо найти наименьшее целое значение. В случае A > 60 наименьшим подходящим целым значением будет 61. Внимание! Всегда отслеживайте строгость и нестрогость знаков, значение 60 не подходит под условие A > 60, так как 60 равно 60, но не как не больше.

Ответ:

Пример 2

Здесь необходимо начать с упрощения выражения. Введём обозначения для краткости и удобства записи.

Выражение сразу выглядит намного проще.

Теперь применим формулу для раскрытия импликации на базовые функции.

Далее воспользуемся формулой де Моргана.

Уберём двойное отрицание и лишние скобки.

И финальным шагом уберём тавтологию.

Сравните с тем, что было в условии. Стало проще, правда? Дальше мы будем анализировать именно это выражение.

«Красная зона» будет также определяться из случая, когда дизъюнкция будет истинна не из-за переменных, которые не зависят от А, а исключительно из-за переменной с параметром. Получается, для этого первое и второе слагаемые должны быть ложны.  Получаем, что P = 1 и Q = 1, в таком случае и A = 1. Теперь вернёмся от наших обозначений к исходным описаниям переменных.

Значит наша «красная зона» — это пересечение отрезков P и Q. Чтобы покрыть ровно эту часть числовой прямой, отрезок А должен ровняться пересечению отрезков P и Q.

Получаем: A = [150; 171].

В ответ надо указать минимально возможную длину отрезка. Мы подбирали значение отрезка А так, чтобы сразу закрыть им только необходимое и не больше, поэтому полученный отрезок и есть отрезок минимальной длинны.

Длина отрезка считается очень просто: из большей границы вычитается меньшая. Длина отрезка А = 171 – 150 = 21.

Ответ: 21

Пример 3

Решение

В данном примере тоже нужно упростить выражение. Введём обозначения:

Получаем выражение

Дальше потребуется только раскрыть импликации, убрать двойное отрицание и лишние скобки.

Теперь переходим к определению «красной зоны». Когда D6=1 и D4 = 1, то и DA должно быть истинно.

Вернемся к математическому смыслу наших переменных. Получаем условие: числа, которые кратны 4 и 6 одновременно, должны быть кратны и А. Пользуясь понятием наименьшего общего кратного (НОК) из математики, получаем, что числа, которые одновременно кратны 4 и 6 – это числа, кратные 12.

Переформулируем условие: числа, которые кратны 12, должны быть кратны А. Отсюда уже понятно, что А = 12. Если мы возьмём число меньшее, например 2, выражение будет истинно, но это не максимальное возможное значение, которое просят по условию. А если возьмём число больше, например 24, для x=12 выражение окажется ложным. Кратность 4 и 6 будет обнулять второе и третье слагаемое, а первое окажется ложно, так как 12 не кратно 24, а наоборот 24 кратно 12.

Ответ:
12

Пример 4

Решение

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

Получим выражение

Дальше потребуется только раскрыть импликацию и убрать лишние скобки

Теперь переходим к определению «красной зоны». Она возникает, когда Z39 = 0 и Z41 = 1, и ZA должно быть ложно.

Переходим
обратно к математическому смыслу наших переменных. Запишем условия следующим
образом: для х, для которых поразрядная конъюнкция с 41 даёт 0, а с 39 даёт не
0, поразрядная конъюнкция с А должна давать не 0.

Определим, что такое х из «красной зоны».

Посмотрим
на первое условие: поразрядная конъюнкция с 41 даёт 0. Чтобы посчитать
поразрядную конъюнкцию переводим 41 в двоичную систему счисления и получаем
101001₂.

Чтобы в итоге поразрядной конъюнкции получился ноль, в тех разрядах, где в числе 41 стоят единицы, у числа х должны обязательно стоять нули. Там же, где в числе 41 стоят нули – в числе х может быть всё что угодно, так как одного нуля для обнуления произведения достаточно. Изобразим это схематически.

Мы получили некоторый «макет» чисел «красной зоны». Но он пока не полный. Переходим ко второму условию: поразрядная конъюнкция с 39 даёт не 0. Также необходимо перевести число в двоичную систему счисления. 39₁₀ = 100111₂. Чтобы в итоге поразрядной конъюнкции получить не 0, хотя бы один из разрядов, где у 39 стоят единицы, в х тоже должен содержать единицу. Достаточно одной, но она может быть на любом из доступных мест (кроме, тех, где из-за анализа первого условия мы уже поставили 0).

Теперь у нас есть полная схема чисел, которые представляют собой «красную зону». У таких чисел в нулевом, третьем, пятом разряде точно стоят нули, а в первом или во втором (или и в том и том) стоят единицы.

Теперь, чтобы определить наименьшее значение параметра А, при котором выражение будет тождественно истинно, надо обеспечить, чтобы при минимальном количестве единиц в разрядах (минимальном, но не меньше чем необходимо) можно было обеспечить ненулевое значение поразрядной конъюнкции иксов из «красной зоны» с числом А. Для этого нам обязательно надо закрыть единицами первый и второй разряды (тогда хотя бы в одном из этих разрядов точно получится 1), а остальные можно спокойно занять нулями.

Последнее, что осталось сделать — перевести число А в десятичную систему счисления. 110₂ = 6₁₀.

Ответ: 6

Подведем итоги

Теперь вы умеете решать 18 задание ЕГЭ по информатике. Такой подход с упрощением выражения и постепенным анализом позволяет разбить длительную работу с заданием на небольшие этапы. Вы постепенно составляете выводы о том, каким же должен быть параметр в этом задании.

Остается закрепить знания на практике. Напомню, что эффективно подготовиться к ЕГЭ по информатике можно на наших курсах. Используйте промокод BLOG0320 до 31 марта 2020 года включительно и получите первый месяц онлайн-подготовки со скидкой 50%.

Продолжаем подготовку к ЕГЭ по информатике и сегодня рассмотрим решение задач типа A10.

Задачи этого типа довольно сложны. Подходить к их решению, не зная основ логики не стоит. Поэтому настоятельно рекомендую прочитать про конъюнкцию, дизъюнкцию, импликацию.

Давайте начнем рассмотрение с решения задачи А10 ЕГЭ 2014 по информатике из демоверсии с сайта ФИПИ.

На числовой прямой даны два отрезка: P = [1, 39] и Q = [23, 58].
Выберите из предложенных отрезков такой отрезок A, что логическое выражение
( (x ∈ P) → ¬ (x ∈ Q) )→ ¬ (x ∈ А)
тождественно истинно, то есть принимает значение 1 при любом значении переменной х.
1) [5, 20]       2) [25, 35]       3) [40, 55]       4) [20, 40]

Решение:

Для удобства давайте обозначим наши простые высказывания большими латинскими буквами (по названию отрезков):

• P: x ∈ P
• Q: x ∈ Q
• A: x ∈ А

Перепишем наше выражение в более удобном виде:

Теперь небольшое отступление про импликацию. Импликацию можно выразить через дизъюнкцию и отрицание вот таким образом:

Это очень важное правило и его необходимо запомнить.

Теперь мы можем переписать наше высказывание, уйдя от импликации:

Чтобы упростить выражение в скобках воспользуемся законом де Моргана (второй на картинке)

В итоге получим

Применив закон двойного отрицания получим итоговое высказывание с котором и будем работать дальше. Да, это еще не все

Теперь давайте вспомним, что наши высказывания — это отрезки и отобразим их на координатной прямой.

Проанализируем график и итоговое высказывание. Итоговое высказывание должно быть истинным при любом значении х по условию задачи. В итоговом высказывании у нас выражение в скобках и инверсия A соединены дизъюнкцией. Дизъюнкция истинна когда хотя бы одно или оба высказывания истинны. Значит итоговое высказывание будет истинным когда либо выражение в скобках истинно, либо отрицание A истинно, либо истинны оба выражения (в скобках и отрицание A). Выражение в скобках — конъюнкция, а она истинна только когда оба высказывания истинны. Т. е. когда x принадлежит промежутку [23, 39] итоговое высказывание будет истинным. В противном случае высказывание будет ложным и тогда отрицание A должно быть истинным. Раcсмотрим, когда оно таким будет.

В начале мы определились, что высказывание A означает, что x ∈ А. Так как оно у нас с отрицанием, то отрицание A будет означать, что x ∉ A, а значит точка x должна принадлежать диапазону [-∞, 23] или [39, +∞]. Осталось найти такой отрезок A, который будет перекрывать диапазон [23, 39] (так как у нас он с отрицанием, то в итоге получится нужный нам диапазон). Т. е. левая координата отрезка должна быть больше или равна 23, а правая меньше или равна 39.

Из предложенных вариантов подходит только [25, 35]. Правильный ответ — 2.

Еще один пример решения задачи A10 ЕГЭ по информатике (по просьбе Евгении):

На числовой прямой даны три отрезка:

P = [0,40], Q=[20,45] и R=[10,50].

Выберите такой отрезок A, что формула ((x∈P) → (x∈Q)) ∨ ((x∉A) → (x∉R)) тождественно истинна, то есть принимает значение 1 при любом значении переменной х.

1) [5,20]       2) [10,15]       3) [15,20]       4) [35,50]

Решение:

Для удобства примем следующие обозначения:

P: x∈P

Q: x∈Q

A: x∈A

R: x∈R

Теперь нашу формулу мы сможем переписать в таком виде:

(P → Q) ∨ (¬A → ¬R)

 Применив закон де Моргана, получим следующее:

(¬P ∨ Q) ∨ (A ∨ ¬R)

Для удобства обозначим выражения в скобках так:

Y = ¬P ∨ Q

Z = A ∨ ¬R

Осталось отобразить формулу на числовой прямой.

Рассмотрим выражение Z и перенесем его на числовую прямую

Здесь у нас зеленым цветом обозначена область ¬P, желтым — Q, а голубым — область ¬P ∨ Q.

Теперь заметим, что выражения в скобках объединены дизъюнкцией, а это значит, что итоговое выражение будет тождественно истинным когда хотя бы одно или оба сразу выражения в скобках истинны.

Сейчас мы видим, что если переменная х принадлежит диапазону [-∞;0] или [40; +∞], то итоговое выражение будет истинно.

Рассмотрим второе выражение A ∨ ¬R (я удалил на предыдущем рисунке области ¬P и Q, чтоб они не мешали, оставив только конечную область ¬P ∨ Q):

Как видим, выражение во второй скобке будет истинно только когда x принадлежит диапазону [-∞;10] или [50; +∞].  Общее выражение будет истинно когда x принадлежит диапазону [-∞;10] или [20; +∞].

А вот если x находится в диапазоне (10; 20), то итоговое выражение будет ложным. Значит нам надо найти такое значение диапазона A, которое перекроет диапазон (10; 20). Из предложенных в условии вариантов этому условию удовлетворяет только диапазон [5,20].

Правильный ответ: 1.

Я понимаю, что задачи типа A10 ЕГЭ по информатике — это довольно сложное задание, хотя и относится к части A. Поэтому всегда рад ответить на ваши вопросы в комментариях.

Автор:

Сегодняшний урок посвящён 15 заданию из ЕГЭ по информатике 2022.

Темой этого урока связана с преобразованием логических выражений.

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

Перейдём к практике решения задач 15 задания из ЕГЭ по информатике 2022.

Задача (Неравенство, одна переменная)

Какое количество натуральных чисел удовлетворяет логическому условию:

¬(X² ≥ 9) ∨ ¬((X < 7) ∨ (X ≥ 10)) ?

Решение:

Первый способ (с помощью питона).

k=0
for x in range(1, 1000):
    if not(x**2 >= 9) or not((x < 7) or (x>=10)):
        k = k + 1
        
print(k)

Здесь перебираем с помощью цикла for натуральные числа от 1 до 1000.

Если логическое выражение выдаёт истину, то мы подсчитываем такой вариант.

Программа напечатает число 5.

Второй способ (с помощью рассуждений).

Натуральные числа — это целые, положительные числа. Например: 1, 2, 3, 4, и т. д.

Преобразуем первое выражение ¬(X² ≥ 9) = (X² < 9). Отрицание внесли в скобки. В этом случае знак, который находится в скобках, нужно поменять на противоположный.

Важно: Если было строгое неравенство, то оно станет нестрогим, и наоборот, если было неравенство нестрогим, то оно станет строгим.

Получается, что выражение (X² < 9) будет истинно только при двух значениях: X = 1, X = 2.

Во втором выражении ¬((X < 7) ∨ (X ≥ 10)) удобно применить формулу Де Моргана.

Формула де Моргана:

¬(A ∨ B) = ¬A ∧ ¬B

¬(A ∧ B) = ¬A ∨ ¬B

Преобразуем выражение по формуле де Моргана и внесём отрицание в скобки:

¬((X < 7) ∨ (X ≥ 10)) = ¬(X < 7) ∧ ¬(X ≥ 10) = (X ≥ 7) ∧ (X < 10)

Получилось выражение (X ≥ 7) ∧ (X < 10). Между двумя выражениями стоит логическое умножение. Значит, одновременно должны выполняться и первое неравенство, и второе. Таким образом, получается, что подходят три значение для выражения (X ≥ 7) ∧ (X < 10). Это X = 7, X = 8, X = 9.

Обратимся к самому начальному логическому условию. Там два выражения соединятся логическим сложением. Значит, мы должны объединить те случаи, когда у нас первое выражение становится истинным (X=1, X=2), и те случаи, когда второе выражение становится истинным (X = 7, X = 8, X = 9).

Получается всего 5 натуральных чисел удовлетворяют изначальному логическому условию.

Ответ: 5

Разберём ещё одну разминочную задачу для подготовки к ЕГЭ по информатике 2022.

Задача (Неравенство, две переменные)

Для какого наибольшего целого неотрицательного числа A выражение

(x ≥ A) ∨ (y ≥ A) ∨ (x * y ≤ 205)

тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y ?

Решение:

Первый способ (с помощью питона).

for A in range(0, 300):
    k=0
    for x in range(1, 301):
        for y in range(1, 301):
            if (x >= A) or (y >= A) or (x * y <= 205):
                k=k+1
    if k==90000:
        print(A)

В первом цикле перебираем значения для A. Здесь мы пытаемся подобрать ответ в диапазоне от 0 до 300. Этот диапазон меньше, чем в прошлой задаче. Потому что здесь три вложенных цикла, и если перебирать числа от 0 до 1000, то программа может работать очень долго. При необходимости можно указать другой диапазон.

Для каждого A устанавливаем счётчик k в ноль.

Затем перебираем все числа в диапазоне от 1 до 300 (включительно) для переменных x и y, тем самым имитируем фразу «для любых x и y».

Если логическое выражение сработает при каждом значении x и y, то считается, что значение A нам подходит, и в счётчике по окончанию вложенных циклов будет значение 90000 (300 * 300 = 90000).

Наибольшее число, которое напечатает программа равно 15.

Второй способ (с помощью рассуждений).

Здесь есть три выражения в скобках, которые соединены логическим сложением. При логическом сложении достаточно хотя бы одного выражения, где будет истина, чтобы всё общее выражение было истинно.

Если мы сделаем A слишком большим, к примеру A = 250, то найдутся такие x = 16, y = 16, при которых все три условия в скобках не будут выполняться, и, значит, всё общее выражение будет ложным.

Следовательно, нам нужно выбрать таким A, чтобы не было возможности подобрать x, y, при которых все три выражения ложны.

Сделаем так: пока x и y меньше A, должно «работать» третье выражение в скобках. Как только x или y сравняются с A — начинают «работать» первое или второе выражение.

До какого же максимального значения могут дойти x и y, чтобы перемножение этих двух чисел было меньше или равно 205 (x * y <= 205) ?

15 * 15 = 225
14 * 14 = 196

Получается, пока числа x и y меньше 15, «выручает» третье выражение (x * y ≤ 205), как только станут x ≥ 15 и y ≥ 15, будут «работать» первое и второе выражение.

Отсюда получаем, что максимальное число A = 15

Ответ: 15

Задача (Функция ДЕЛ)

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула

¬ДЕЛ(x, А) → (ДЕЛ(x, 6) → ¬ДЕЛ(x, 9))

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной x)?

Решение:

Первый способ (с помощью питона).

def D(n, m):
    if n%m==0:
        return True
    else:
        return False

for A in range(1, 1000):
    k=0
    for x in range(1, 1001):
        if D(x, A) or (not(D(x, 6)) or not(D(x, 9))):
            k=k+1
    if k==1000:
        print(A)

Здесь мы формируем функцию ДЕЛ (функцию D). Если n делится на m, то функция возвращает Истину, в противном случае функция возвращает Ложь.

Далее решаем примерно так же, как и в прошлых задачах: для каждого числа A перебираем все значения x. Следование расписываем по формуле A ⟶ B = ¬A ∨ B.

Наибольшее число здесь получается равно 18.

Второй способ (с помощью рассуждений).

Рассмотрим случай, когда в левой части логического выражения будет 1, а в правой 0. В остальных случаях беспокоится не за что, потому что вся формула будет выдавать истину.

Посмотрим, когда в правой части получается ноль. Функция ДЕЛ(x, 6) должна выдавать истину. Т.е. x должен делится на 6. А функция ¬ДЕЛ(x, 9) должна выдавать ноль. Т.е. без отрицания ДЕЛ(x, 9) должна выдавать истину. Значит, x так же делится на 9.

x делится на 6 => x = 2*3*n, n ∈ N
x делится на 9 => x = 3*3*n, n ∈ N

Чтобы выполнялся случай, когда в правой части получается ноль, икс должен быть равен x = 3*3*2*n (n ∈ N). Т.е. получается, что икс должен быть кратен 18.

Т.е. получается, что когда x делится на 18, в правой части логического выражения будет получатся ноль. Чтобы спасти ситуацию, мы должны в левой части логического выражения не получать 1. Следовательно, ¬ДЕЛ(x, А) должно выдавать ноль. Значит, ДЕЛ(x, А) должно выдавать 1. Таким образом, приходим к выводу, что A должно равняться 18.

Если получится опасная ситуация, когда x кратен 18, то она будет нейтрализована, ведь в левой части будет получатся ноль.

Ответ: 18

Ещё один важный тип задач 15 задания ЕГЭ по информатике 2022

Задача (Поразрядная конъюнкция)

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 1110₂ & 0101₂ = 4

Для какого наименьшего неотрицательного целого числа A формула

x&51 ≠ 0 → (x&A = 0 → x&25 ≠ 0)

тождественно истинна (то есть принимает значение 1 при любом неотрицательном целом значении переменной x)?

Решение:

Первый способ (с помощью питона).

for A in range(0, 1000):
    k=0
    for x in range(0, 1000):
        if x&51==0 or (x&A!=0 or x&25!=0):
            k=k+1

    if k==1000:
        print(A)

Здесь следование преобразовываем по формуле: A ⟶ B = ¬A ∨ B. Так же и A, и x неотрицательные числа. Поэтому мы перебираем их диапазон, начиная с нуля. Из-за этого в цикле, который перебирает переменную x, мы устанавливаем верхнюю границы равной 1000, а не 1001. Тогда тоже будет 1000 повторений в этом цикле.

Наименьшее число равно 34.

Второй способ (с помощью рассуждений).

Переведём числа 51 и 25 в двоичную систему.

51 = 110011₂
25 = 11001₂

Формула будет тождественно ложна, когда

Этого допустить нельзя!

При каком x получается в левой выражении формулы истина ? Если у икса в двоичном представлении в тех разрядах, где у числа 51 стоят 1, будет хотя бы в одном месте 1.

Рассмотрим правое выражение формулы. Ноль получается в единственном случае:

Рассмотрим выражение x&25 ≠ 0. Чтобы в этом логическом выражении получился ноль, нужно x&25 = 0. Посмотрим на двоичное представление числа 25. В тех разрядах, где стоят единицы, у икс должны быть нули (для x&25 = 0).

Сформулируем окончательное условие для x, при котором возникает опасность превращение общей формулы в ложь.

Нам нужно «поломать эту песенку» с помощью x&A = 0. Т.е. нельзя допускать, чтобы это выражение было истинно.

Получается, что A = 100010₂. Это наименьшее из возможных число, при котором мы точно себя обезопасим от того, что вся формула будет ложна.

A = 100010₂ в десятичной системе будет 34.

Ответ: 34

Ещё один тип задач 15 задания ЕГЭ по информатике

Задача (числовая прямая)

На числовой прямой даны отрезки P=[5, 13] и Q=[8, 19]. Укажите наименьшую возможную длину такого отрезка A, что формула (¬(x ∈ P) → (x ∈ Q)) → (x ∈ A ) верна при любых значениях x.

Решение:

Первый способ (с помощью питона).

def F(a, b, x):
    if a <= x <= b:
        return True
    else:
        return False

mn=10**9

for a in  range(0, 200):
    for b in  range(a, 200):
        k=0
        for i in  range(-200, 200):
            x = i / 2
            if not((F(5, 13, x) or F(8, 19, x))) or F(a, b, x):
                k=k+1

        if k==400:
            mn= min(mn, b-a)

 print(mn)

Получается ответ 14. Более подробно, как решать задачи на ОТРЕЗКИ из 15 задания ЕГЭ по информатике на Python, можете посмотреть в этой статье.

Второй способ (с помощью рассуждений).

Если будут такие варианты:

То нам беспокоится не о чём. Потому что формула всегда будет истинна! (см. таблицу истинности для следования →)

Нас же будет интересовать этот случай.

При таком раскладе вся формула будет ложна! Нам нужно этого не допустить при любом значении x!

Единица получается в первом подвыражении в трёх случаях:

1) Случай

Выражение ¬(x ∈ P) получается ложно, когда (x ∈ P) будет истинно! Получается при x ∈ [5, 13] выражение ¬(x ∈ P) — ложно!

Выражение (x ∈ Q) ложно, когда x ∉ [8, 19]

Какой же минимальной длины должен быть отрезок A, чтобы этот случай не проходил при любом x ? При этом случае отрезок A должен быть равен [5, 8). Тогда левое выражение пусть и может стать единицей при x ∈ [5, 8), но выражение (x ∈ A) будет также равно 1 при x ∈ [5, 8)! И схема 1 → 0 не пройдёт. Будет 1 → 1.

Для 1 случая A=[5, .

2) Случай

При каких x выражение ¬(x ∈ P) обращается в ноль, мы уже рассматривали: x ∈ [5, 13].

Второе выражение «выдаёт» 1 при x ∈ [8, 19].

Получается, что при при x ∈ [8; 13] первое выражение в скобках в главной формуле будет тождественно истинно!

С помощью отрезка A нужно это нейтрализовать путём превращения второго выражения в скобках в главной формуле в 1, пока x ∈ [8; 13]. Значит, для этого случая A = [8; 13]

3) Случай

В выражении ¬(x ∈ P) единица получается, когда в выражении (x ∈ P) получается ноль. Тогда x ∉ [5, 13]!

Чтобы во втором выражении (x ∈ Q) была единица, нужно, чтобы x ∈ [8, 19].

Получается, что 3 случай выполняется, если x ∈ (13, 19].

С помощью отрезка A нужно этому противодействовать! Нужно чтобы выражение (x ∈ A) было всегда 1 при x ∈ (13, 19]. Тогда A должно быть (13, 19].

Следовательно, для третьего случая A=(13, 19].

Нам нельзя допустить ни одного случая! Поэтому, объединив все случаи, получаем, что A=[5, 19].

Длина отрезка равна 14.

Ответ: 14

Ещё одна задача про числовую прямую из банка тренировочных заданий ЕГЭ по информатике 2021.

Задача (Числовая прямая, закрепление)

На числовой прямой даны отрезки P=[5, 13] и Q=[8, 19]. Укажите наименьшую возможную длину такого отрезка A, что формула ((x ∈ P) ∧ ¬(x ∈ A)) → ((x ∈ Q) ∧ ¬(x ∈ A)) верна при любых значениях x.

Решение:

Первый способ (с помощью питона).

def F(a, b, x):
    if a <= x <= b:
        return True
    else:
        return False

mn=10**9

for a in range(0, 200):
    for b in range(a, 200):
        k=0
        for i in range(-200, 200):
            x = i / 2
            if not((F(5, 13, x) and not(F(a, b, x)))) or (F(8, 19, x) and not(F(a, b, x))):
                k=k+1

        if k==400:
            mn=min(mn, b-a)

print(mn)

Второй способ (с помощью рассуждений).

Формула может быть ложна, когда

Во всех остальных случаях, формула всегда верна.

Чтобы выражение ((x ∈ P) ∧ ¬(x ∈ A)) было тождественно 1, выражение (x ∈ P) обязательно должно быть тождественно 1. А, значит, x ∈ [5, 13] — это опасная зона, при которой появляется возможность обратить всю формулу в ноль!

Мы можем сразу пресечь эту опасность с помощью отрезка A. Выбрать такой отрезок, чтобы он всегда «выдавал» ложь при x ∈ [5, 13]. Для этого достаточно выбрать A=[5, 13]! Но вдруг его можно сделать ещё более маленьким за счёт правой части формулы ?

Предположим, что отрезок A сделали ещё меньшим. Тогда при каком-то x (x ∈ [5, 13]) выражение ¬(x ∈ A) будет «выдавать» 1! Причём такое же выражение стоит и в правой части формулы! Там тоже будет 1 для выражения ¬(x ∈ A).

Нас же в этом случае должно выручить выражение (x ∈ Q). Если оно «выдаст» 1 в этот «сложный» момент, то мы спасены! Ведь тогда получается, что правая часть всей формулы будет «выдавать» не 0, а 1. Посмотрим при каких x из отрезка [5, 13] приходит это спасение.

Видим, что в интервале x ∈ [8, 13] нас спасает выражение (x ∈ Q).

Значит, отрезок A можно сократить до A=[5, 8).

Длина отрезка будет равна 3!

Ответ: 3

Задачи для закрепления

Задача (Неравенство, две переменные, закрепление)

Для какого наибольшего целого неотрицательного числа A выражение

(x < A) ∧ (y < A) ∧ (x * y > 603)

тождественно ложно, т.е. принимает значение 0 при любых целых положительных x и y ?

Решение:

Первый способ (с помощью питона).

for A in range(0, 300):
    k=0
    for x in range(1, 301):
        for y in range(1, 301):
            if not( (x < A) and (y < A) and (x * y > 603) ):
                k=k+1
    if k==90000:
        print(A)

Т.к. выражение должно быть ЛОЖНО, то обернём логическое выражение в функцию not(). Видим, что программа не сильно отличается от прошлой задачи. Данный шаблон подходит для большинства задач подобного типа.

Наибольшее число получается равно 25.

Второй способ (с помощью рассуждений).

В этой задаче нужно, чтобы общее выражение было ложно!

Если мы поставим отрицание над всем выражением, то можно искать такое максимальное A, при котором всё выражение тождественно истинно, а не ложно!

¬((x < A) ∧ (y < A) ∧ (x * y > 603)) = ¬(x < A) ∨ ¬(y < A) ∨ ¬(x * y > 603)

Здесь применили формулу де Моргана! Т.е. каждое подвыражение получило отрицание + соединительная логическая операция (логическое умножение) сменилась на противоположную операцию (логическое сложение).

Внесём отрицание в скобки. Получается:

(x ≥ A) ∨ (y ≥ A) ∨ (x * y ≤ 603)

Получили ситуацию, как в прошлой задаче! Напомню, что теперь нужно, чтобы общее выражение было истинно.

Найдём максимальное число, до которого могут «подняться» x и y, чтобы ещё работало третье выражение!

Обратите внимание, что x и y — симметричны. Значит, что верхняя планка для x и y будет одно и тоже число.

Поэтому вспоминаем таблицу квадратов.

25 * 25 = 625
24 * 24 = 576

Получается, что максимальное число до которого могут «дойти» x и y, чтобы «работало» третье выражение, равно 24.

Тогда, начиная с 25 для x и y, должны работать первое и второе выражение.

Получается, что максимальное число для A равно 25.

Ответ: 25

Ещё одна задачка подобного типа из тренировочных упражнений 15 задания ЕГЭ по информатике.

Задача (Неравенство, две переменные, закрепление)

Для какого наименьшего целого числа A формула

(3 * x + y < A) ∨ (x < y) ∨ (16 ≤ x)

тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных x и y ?

Решение:

Первый способ (с помощью питона).

for A in range(-300, 300):
    k=0
    for x in range(1, 301):
        for y in range(1, 301):
            if (3*x + y < A) or (x < y) or (16 <= x):
                k=k+1
    if k==90000:
        print(A)

Наименьшее число равно 61. Здесь не сказали, что A принимает неотрицательные значения, поэтому мы включили в диапазон для A числа, которые меньше нуля. Из-за этого увеличилось время выполнения программы, но ответ получим за приемлемое время.

Второй способ (с помощью рассуждений).

Чтобы вся формула была тождественно истинна, нужно, чтобы хотя бы одно выражение «выдавало» истину, т.к. выражения в формуле соединяются с помощью логического сложения!

Взглянем на третье выражение. Пока x ≥ 16, всё идёт как надо. Третье выражение будет истинно, и, значит, вся формула будет истинна.

Но если x ≤ 15, то нужно, чтобы нас «спасало» первое или второе выражение.

Рассмотрим второе выражение. Пока y > x (x ≤ 15) => y > 15, у нас всё нормально, второе выражение будет истинно, и вся формула будет истинна.

Теперь обратим внимание на первое выражение. Оно должно нас «спасать», когда третье и второе выражение «не спасло»! Это возможно, если x ≤ 15 (иначе «спасло» бы третье выражение), а так же y ≤ 15 (иначе «спасало» бы второе выражение).

Но, чтобы первое выражение было всегда истинно при x ≤ 15 и y ≤ 15, мы должны подобрать число A при максимальных x и y (x=15, y=15)! Ведь для более маленьких значений выражение (3 * x + y < A) точно будет истинно.

Получается:

3 * 15 + 15 < A
60 < A

Нужно найти наименьшее число для A, при котором A > 60. Тогда там, где не «спасли» третье и второе выражение, точно «спасёт» первое выражение. Получается A = 61.

Ответ: 61

Задача (ЕГЭ по информатике, Москва, 2020)

Для какого наибольшего целого неотрицательного числа A выражение

(x > A) ∨ (y > x) ∨ (2 * y + x < 110)

тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y ?

Решение:

Первый способ (с помощью питона).

for A in range(0, 300):
    k=0
    for x in range(1, 301):
        for y in range(1, 301):
            if (x > A) or (y > x) or (2 * y + x < 110):
                k=k+1
    if k==90000:
        print(A)

Максимальное число получается равно 36.

Второй способ (с помощью рассуждений).

Пока y > x, второе подвыражение всегда истинно, значит, и всё выражение истинно.

Теперь будем рассматривать случай y ≤ x.

Рассмотрим третье подвыражение. Найдём максимальные значения для x и для y, которые они одновременно могут принимать, и при которых ещё выполняется третье условие.

Т.к. мы рассматриваем случай y ≤ x, то максимальное число для y будет x_max т.е. y_max = x_max.

Тогда

2 * x_max + x_max < 110

3 * x_max < 110

36 * 3 = 108
37 * 3 = 111

x_max = y_max = 36

Если x «перевалит» за 36, и при этом y ≤ x (иначе «спасает» второе подвыражение), то должно «спасать» первое выражение.

Получается, что наибольшее значение A будет равно 36.

Ответ: 36

Следующий тип задач часто можно встретить в тренировочных вариантах ЕГЭ по информатике 2022.

Задача (С функцией ДЕЛ, закрепление)

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа A формула

ДЕЛ(120, A) ∧ ((ДЕЛ(x, 70) ∧ ДЕЛ(x, 30)) → ДЕЛ(x, A))

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?

Решение:

Первый способ (с помощью питона).

def D(n, m):
    if n%m==0:
        return True
    else:
        return False

for A in range(1, 1000):
    k=0
    for x in range(1, 1001):
        if D(120, A) and (not(D(x, 70) and D(x, 30)) or D(x, A)):
            k=k+1
    if k==1000:
        print(A)

Наибольшее число получается равно 30.

Второй способ (с помощью рассуждений).

Рассмотрим левую часть логического выражения. Мы видим, что число 120 должно делится на A. Значит, для A уже есть некоторое ограничение (A <= 120).

Рассмотрим правую часть выражения. Изучим, когда она превращается в ноль. Тогда

Т.е. x должен делится на 70 и одновременно x должен делится на 30.

x = 70*n = 2*5*7*n (n ∈ N)

x = 30*n = 2*5*3*n (n ∈ N)

Чтобы одновременно выполнялись два условия, икс должен быть равен x = 2*5*7*3*n (n ∈ N).

Для того, чтобы правое выражение не превращалось в ноль, x как раз должен делится на число 2*5*7*3. Тогда будет 1->1. Т.е. число A должно равняться 2*5*7*3. Но мы сказали, что A <= 120, плюс, должно являться делителем числа 120. Значит, должны снизить значение для A.

Рассмотрим значение 2*5*7 для числа A (Предыдущее число, но без тройки). Для правой части оно подходит, т.к. «при малейшей» возможности превращения правого выражения в ноль (т.е. ДЕЛ(x, 70) = True), у нас будет спасаться ситуация, т.к. ДЕЛ(x, A) так же
будет равно 1. И снова получаем 1->1. Но это значение не подходит для левой части, ведь тогда A не является делителем числа 120.

Приходится брать число 2*5*3 (без семёрки). Здесь ситуация аналогично предыдущему случаю, только теперь это число является делителем числа 120.

В ответе напишем 30.

Ответ: 30

Задача (Поразрядная конъюнкция, закрепление)

Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наименьшее натуральное число A, такое что выражение

(X & 49 ≠ 0) → ((X & 33 = 0) → (X & A ≠ 0))

тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной X)?

Решение:

Первый способ (с помощью питона).

for A in range(1, 1000):
    k=0
    for x in range(1, 1001):
        if (x&49==0) or ((x&33!=0) or (x&A!=0)):
            k=k+1

    if k==1000:
        print(A)

Наименьшее число равно 16.

Второй способ (с помощью рассуждений).

Переведём числа 49 и 33 в двоичную систему.

49₁₀ = 110001₂

33₁₀ = 100001₂

Рассмотрим случай, когда функция стремится превратится в ноль.

Чтобы левое выражение выдавало истину, икс должен иметь 1 (единицу) в первом разряде или во второй разряде, или в последнем разряде (в 6-ти битном числе).

Рассмотрим правое выражение. Посмотрим, когда выражение (X & 33 = 0) выдаёт истину. Первый бит и последний бит должен быть равен нулю. Т.е получается, что в 6-ти битном числе нас интересует второй бит. Если он будет равен 1 и при этом первый бит и последний будут равны 0, то возникает опасная ситуация, которую нужно спасть.

При выше описанных условиях выражение (X & A ≠ 0) должно выдавать истину. Тогда наименьшее A равно 10000₂ = 16₂.

Ответ: 16

Задача (числовая прямая, закрепление 2)

На числовой прямой даны два отрезка: P = [20, 30] и Q = [35, 60]. Найдите наименьшую возможную длину отрезка A, при котором формула

¬(x ∈ A) ∧ ((x ∈ P) ∨ (x ∈ Q))

тождественно ложна, то есть принимает значение 0 при любых x.

Решение:

Первый способ (с помощью питона).

def F(a, b, x):
    if a <= x <= b:
        return True
    else:
        return False

mn=10**9

for a in range(0, 200):
    for b in range(a, 200):
        k=0
        for i in range(-200, 200):
            x = i / 2
            if not(not(F(a, b, x)) and (F(20, 30, x) or F(35, 60, x))):
                k=k+1

        if k==400:
            mn=min(mn, b-a)

print(mn)

Ответ будет 40.

Второй способ (с помощью рассуждений).

Рассмотрим наоборот, когда логическое выражение выдаёт истину.

В правой части получается 1, когда x ∈ P или x ∈ Q. Именно в эти моменты выражение ¬(x ∈ A) должно спасать ситуацию и выдавать 0. Тогда без отрицания (x ∈ A) должно выдавать 1. Чтобы покрыть два отрезка, берём A=[20; 60].

Минимальная длина получается 60-20=40.

Ответ: 40

На этом всё! Увидимся в новых уроках по подготовке к ЕГЭ по информатике!

Информатика, 10 класс. Урок № 12.

Тема — Преобразование логических выражений

Перечень вопросов, рассматриваемых в теме: основные законы алгебры логики, преобразование логических выражений, логические функции, построение логического выражения с данной таблицей истинности и его упрощение, дизъюнктивная и конъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма (СДНФ), совершенная конъюнктивная нормальная форма (СКНФ).

Глоссарий по теме: основные законы алгебры логики, логические функции, дизъюнктивная и конъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма (СДНФ), совершенная конъюнктивная нормальная форма (СКНФ)

Основная литература по теме урока:

Л. Л. Босова, А. Ю. Босова. Информатика. Базовый уровень: учебник для 10 класса

— М.: БИНОМ. Лаборатория знаний, 2017 (с.197—209)

Открытые электронные ресурсы по теме:

http://lbz.ru/metodist/authors/informatika/3/eor10.php

http://kpolyakov.spb.ru/school/ege.htm

Теоретический материал для самостоятельного изучения.

Способ определения истинности логического выражения путем построения его таблицы истинности становится неудобным при увеличении количества логических переменных, т.к. за счет существенного увеличения числа строк таблицы становятся громоздкими. В таких случаях выполняются преобразования логических выражений в равносильные. Для этого используют свойства логических операций, которые иначе называют законами алгебры логики.

Основные законы алгебры логики

Справедливость законов можно доказать построением таблиц истинности.

Пример 1. Упростим логическое выражение

Последовательно применим дистрибутивный закон и закон исключенного третьего:

В общем случае можно предложить следующую последовательность действий:

1. Заменить операции строгая дизъюнкция, импликация, эквиваленция на их выражения через операции конъюнкция, дизъюнкция, инверсия;
2. Раскрыть отрицания сложных выражений по законам де Моргана.
3. Используя законы алгебры логики, упростить выражение.

Пример 2. Упростим логическое выражение .

Здесь последовательно использованы замена операции импликация, закон де Моргана, распределительный закон, закон противоречия и операция с константой, закон идемпотентности и поглощения.

Аналогичные законы выполняются для операции объединения, пересечения и дополнения множеств. Например:

Пример 3. На числовой прямой даны отрезки B = [2;12] и C = [7;18]. Каким должен быть отрезок A, чтобы предикат становился истинным высказыванием при любых значениях x.

Преобразуем исходное выражение, избавившись от импликации:

A, B, C — множества. Для них можно записать (U — универсальное множество).

Будем считать, что.

Тогда , причем это минимально возможное множество А.

Так как множество B — это отрезок [2;12], а множество — это промежутки и, то пересечением этих множеств будет служить промежуток . В качестве ответа мы можем взять этот промежуток, а также любой другой, его включающий.

Пример 4. Для какого наименьшего неотрицательного целого десятичного числа а выражение

тождественно истинно (т. е. принимает значение 1 при любом неотрицательном целом значении десятичной переменной х)? Здесь & — поразрядная конъюнкция двух неотрицательных целых десятичных чисел.

Введем обозначения:

Перепишем исходное выражение в наших обозначениях и преобразуем его:

Рассмотрим предикат . В числе 28₁₀=11100₂ 4-й, 3-й и 2-й биты содержат единицы, а 1-й и 0-й — нули. Следовательно, множеством истинности этого предиката являются такие числа х, у которых хотя бы один из битов с номерами 4, 3 или 2 содержит единицу. Если и 4-й, и 3-й, и 2-й биты числа х нулевые, то высказывание будет ложным.

Рассмотрим предикат . В числе 45₁₀=101101₂ 5-й, 3-й, 2-й и 0-й биты содержат единицы, 4-й и 1-й — нули. Следовательно, множеством истинности этого предиката являются такие числа х, у которых хотя бы один из битов с номерами 5, 3, 2 или 0 содержит единицу. Если и 5-й, и 3-й, и 2-й, и 0-й биты числа х нулевые, то высказывание будет ложным.

Рассмотрим предикат . В числе 17₁₀=10001₂ 3-й, 2-й и 1-й биты содержат нули, 4-й и 0-й — единицы. Побитовая конъюнкция 17 и х будет равна 0, если в числе х 4-й и 0-й биты будут содержать нули. Множество истинности этого предиката — все х с нулями в 4-м и 0-м битах.

По условию задачи надо, чтобы .

Запишем это выражение для рассмотренных множеств истинности:

Так как , примем .

Объединением множеств M и N являются все двоичные числа, у которых хотя бы один из битов с номерами 5, 4, 3, 2, 0 содержит единицу. Пересечением этого множества с множеством K будут все двоичные числа, у которых биты с номерами 4 и 0 будут заняты нулями, т.е. такие двоичные числа, у которых хотя бы один из битов с номерами 5, 3, 2 содержит 1. Все эти числа образуют множество А.

Искомое число a должно быть таким, чтобы при любом неотрицательном целом значении переменной х: , и, кроме того, оно должно быть минимальным из возможных. Этим условиям удовлетворяет число 101100₂ = 44₁₀.

Значение любого логического выражения определяется значениями входящих в него логических переменных. Тем самым логическое выражение может рассматриваться как способ задания логической функции.

Совокупность значений n аргументов удобно интерпретировать как строку нулей и единиц длины n. Существует ровно различных двоичных строк длины n. Так как на каждой такой строке некая функция может принимать значение 0 или 1, общее количество различных булевых функций от n аргументов равно .

Для n=2 существует 16 различных логических функций. Рассмотрим их подробнее.

F₁(A,B) = 0 — константа «ложь»;

F₂(A,B) = A&B — конъюнкция;

F₃(A,B) = — отрицание импликации;

F₄(A,B) = A — функция, равная первому аргументу;

F₅(A,B) = — отрицание обратной импликации;

F₆(A,B) = B — функция, равная второму аргументу;

F₇(A,B) = — строгая дизъюнкция;

F₈(A,B) = A˅B — дизъюнкция;

F₉(A,B) = — стрелка Пирса (отрицание дизъюнкции, ИЛИ-НЕ);

F₁₀(A,B) = — эквиваленция;

F₁₁(A,B) = — отрицание второго аргумента;

F₁₂(A,B) = — обратная импликация;

F₁₃(A,B) = — отрицание первого аргумента;

F₁₄(A,B) = — импликация;

F₁₅(A,B) = — штрих Шеффера (отрицание конъюнкции, И-НЕ);

F₁₆(A,B) = 1 — константа «истина».

С увеличением числа аргументов количество логических функций резко возрастает. Отметим, что путем преобразований функция любого количества переменных может быть выражена через функции только двух переменных. Более того, можно использовать не все, а лишь некоторые логические функции двух переменных. Например:

1. F₂ и F₁₁ (конъюнкция и отрицание второго аргумента);
2. F₈ и F₁₃ (дизъюнкция и отрицание первого аргумента);
3. F₉ (стрелка Пирса, отрицание дизъюнкции);
4. F₁₅ (штрих Шеффера, отрицание конъюнкции).

Последние два примера говорят о том, что при желании всю алгебру логики можно свести к одной функции.

Любую логическую формулу путем тождественных преобразований можно привести к формуле, содержащей только операции отрицания, конъюнкции и дизъюнкции:

Такой способ представления логической формулы называется нормальной формой.

При решении задач часто требуется по таблице истинности логической формулы записать ее аналитическое выражение. Для этого используются понятия совершенной дизъюнктивной нормальной формы (СДНФ) и совершенной конъюнктивной нормальной формы (СКНФ).

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

Аналогично, выражение — простая дизъюнкция.

Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкций. Например, выражение является ДНФ.

Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкций. Например, выражение является КНФ.

Совершенной дизъюнктивной нормальной формой (СДНФ) называется такая дизъюнктивная нормальная форма, у которой в каждую конъюнкцию входят все переменные (либо сами, либо их отрицания). Например, выражение является ДНФ, но не СДНФ. Выражение же представляет собой СДНФ.

Совершенной конъюнктивной нормальной формой (СКНФ) называется такая КНФ, у которой в каждую простую дизъюнкцию входят все переменные (либо сами, либо их отрицания). Например, выражение представляет собой СКНФ.

Для всякой таблицы истинности можно составить соответствующее ей логическое выражение. Для этого необходимо:

1. Отметить в таблице истинности наборы переменных, при которых значение логического выражения равно единице;
2. Для каждого отмеченного набора записать конъюнкцию всех переменных следующим образом: если значение некоторой переменной в этом наборе равно 1, то в конъюнкцию включаем саму переменную, в противном случае — её отрицание;
3. Все полученные конъюнкции связать операциями дизъюнкции.

Пример 5. Имеется следующая таблица истинности:

После выполнения первых двух шагов алгоритма получим:

После выполнения третьего шага получаем логическое выражение:

Попробуем упростить полученное выражение. Прежде всего, вынесем за скобки и применим закон исключенного третьего и распределительный закон: