(О. Лысенков) На числовой прямой даны два отрезка: A=[645; 1632] и B=[0; 700]. Укажите наименьшую возможную длину такого отрезка T, для которого логическое выражение
\(((x \in A) \lor (x \in B) \lor ((x + 800)·(x — 1500) \geq 0)) \rightarrow (\lnot (x \in T) \land (x < 1568))\)
тождественно ложно (т.е. принимает значение 0) при любом неотрицательном значении переменной x.