На числовой прямой даны два отрезка: S = [315; 460] и T = [345; 516]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение
¬(x ∈ A) → ((x ∈ T) ≡ (x ∈ S))
тождественно истинно (т.е. принимает значение 1) при любом значении переменной х?