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