На числовой прямой даны два отрезка: K = [3; 17] и D = [15; 49].
Укажите наибольшую возможную длину такого отрезка A, что
формула

((x ∈ K) ≡ (x ∈ D)) → ¬(x ∈ A)

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