На числовой прямой даны два отрезка: \(B = [290; \, 750]\) и \(C = [135; \, 675].\) Укажите наименьшую возможную длину такого отрезка \(A,\) что логическое выражение $$( \neg (x \in B) \land (x \in C )) \to (( \neg (x \in A) \land (x \in C)) \to (x \in B ))$$ истинно (т.е. принимает значение \(1\)) при любом значении переменной \(x.\)
Решение:
Обратим внимание, что нет ограничения целочисленности на переменную \(x.\)
Импликация ложна только в случае \(1 \to 0.\) Значит, если $$( \neg (x \in B) \land (x \in C )) = 1$$ то выражение $$(( \neg (x \in A) \land (x \in C)) \to (x \in B ))$$ должно быть истинным.
Но $$( \neg (x \in B) \land (x \in C )) = 1 \, \Leftrightarrow \, x \in [135; \, 290)$$ Потребуем, чтобы на этом полуинтервале $$(( \neg (x \in A) \land (x \in C)) \to (x \in B )) = 1$$ Но на этом полуинтервале \(x \in B = 0\) и \(x \in C = 1.\) Поэтому на этом полуинтервале должно быть $$(( \neg (x \in A) \land (x \in C)) = 0 \, \Rightarrow $$ $$\neg (x \in A) = 0 \, \Rightarrow x \in A = 1$$ Т.е. $$[135; \, 290) \subset A$$ Минимальный отрезок \(A = [135; \, 290].\) Его длина равна \(155.\)
Ответ: \(155\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене