На числовой прямой даны два отрезка: S = [315; 460] и T = [345; 516]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение

¬(x ∈ A) → ((x ∈ T) ≡ (x ∈ S))

принимает значение 1 при любом значении переменной x.