На числовой прямой даны два отрезка: \(B = [14; \, 20]\) и \(C = [15; \, 27].\) Укажите наименьшую возможную длину такого отрезка \(A,\) для которого логическое выражение $$\neg (x \in A) \to (( x \in B) \equiv (x \in C ))$$ истинно (т.е. принимает значение \(1)\) при любом значении переменной \(x.\)
Решение:
Python
def expr(x, A):
B = 14 <= x <= 20
C = 15 <= x <= 27
return (not (A[0] <= x <= A[1])) <= (B == C)
A = [0, 1000]
while all(expr(x, A) for x in range(1000)):
A[0] += 1
A[0] -= 1
while all(expr(x, A) for x in range(1000)):
A[1] -= 1
A[1] += 1
print(A[1] - A[0])
Ответ: \(13\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене