На числовой прямой даны два отрезка: \(S = [212; \, 314]\) и \(T = [287; \, 411].\) Укажите наименьшую возможную длину такого отрезка \(A,\) что логическое выражение $$\neg (x \in A) \to ((x \in T) \equiv (x \in S))$$ истинно (т.е. принимает значение \(1)\) при любом значении переменной \(x.\)
Решение:
Python
def expr(x, A):
xA = A[0] <= x <= A[1]
S = 212 <= x <= 314
T = 287 <= x <= 411
return (not xA) <= (T == S)
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])
Ответ: \(199\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене