На числовой прямой даны два отрезка: \(P=[10, \, 20]\) и \(Q=[25, \, 55].\) Определите наибольшую возможную длину отрезка \(A,\) при котором формула $$ (x \in A) \to ((x \in P) \lor (x \in Q))$$ тождественно истинна, то есть принимает значение \(1\) при любом значении переменной \(х.\)
Решение:
Обозначим для краткости \(Q = x \in Q,\) \(P = x \in P,\) \(R = x \in R,\) \(A = x \in A.\) Формула из условия задания запишется в виде $$A \to (P \lor Q) = \overline{A} \lor P \lor Q$$ На отрезке \(P \cup Q = [10; \, 20] \cup [25, \, 55]\) формула истинна. Чтобы формула была тождественно истинна на всей числовой прямой, необходимо, чтобы \(\overline{A} = 1\) для всех \(x \notin [10; \, 20] \cup [25, \, 55],\) т.е. \(A \subset [10; \, 20] \cup [25, \, 55].\) Максимальный $$A = [25; \, 55]$$
Ответ: \(30\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене