На числовой прямой даны два отрезка: \(P=[10, \, 29]\) и \(Q=[13, \, 18].\) Укажите наибольшую возможную длину такого отрезка \(A,\) что формула $$((x \in A) \to (x \in P)) \lor (x \in Q)$$ тождественно истинна, то есть принимает значение \(1\) при любом значении переменной \(x.\)
Решение:
Первая скобка в выражении истинна, если либо \(x\) не принадлежит \(A,\) либо если принадлежит \(A,\) то обязательно принадлежит \(P.\) Максимальное \(A\) в этом случае — это \([10, \, 29]\), Учитывая, что \(Q \subset P,\) получаем, что максимальная длина отрезка \(A\) равна \(19.\)
Python
def expr(x, A):
xinP = 10 <= x <= 29
xinQ = 13 <= x <= 18
xinA = x == A
return (xinA <= xinP) or xinQ
A = []
for z in range(1, 1000):
if all(expr(x, z) for x in range(1, 1000)):
A.append(z)
print(max(A) - min(A))
Ответ: \(19\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене