Задание № 15. Преобразование логических выражений
1. Как решать задание ЕГЭ
Теория
Характеристика задания

1. Тип ответа: числовой ответ.

2. Структура содержания задания: дано логическое выражение.

3. Уровень сложности задания: повышенный.

4. Примерное время выполнения: \(3\) минуты.

5. Количество баллов: \(1\).

6. Требуется специальное программное обеспечение: необязательно.

7. Задание проверяет знание основных понятий и законов математической логики.
 
Пример задания (демоверсия \(2022\))
 
пример.png
Рис. \(1\). Пример задания
 
Вспомнить основные логические операции можно тут.

Вспомнить законы алгебры логики можно тут.
 
Для решения введём обозначения: A−x∈A,D−x∈D,C−x∈C, для упрощения выражения воспользуемся формулой A→B=¬A∨B:
 
D→((¬C∧¬A)→¬D)=¬D∨¬(¬C∧¬A)∨¬D.
 
Воспользуемся законом общей инверсии, повторения и двойного отрицания:
¬D∨¬(¬C∧¬A)∨¬D=¬D∨C∨A¬D=¬D∨C∨A.
 
По условию задачи выражение ¬D∨C∨A должно быть истинно при любом \(x\). Представим полученное решение на числовой прямой:
 
реш_демо.PNG
Рис. \(2\). Графическое решение
 
Из рисунка видно, что отрезок \(A\) должен перекрыть незакрашенную область на числовой оси, которая не входит в область ¬D∨C.
Наименьший возможный отрезок в этом случае — [\(17\), \(29\)], его длина — \(12\).
 
Ответ: \(12\).
Источники:
Рис. 1. Пример задания. © ЯКласс.
Рис. 2. Графическое решение. © ЯКласс.