На числовой прямой даны два отрезка: T = [5; 52] и S = [37; 90].
Найдите наименьшую возможную длину отрезка L, при которой формула
(x ∈ S) → ((¬(x ∈ T) ∧ (x ∈ S)) → (x ∈ L))
тождественно истинна, то есть принимает значение 1 при любых x.