Законы математической логики

На числовой прямой даны два отрезка: A = [30, 50] и P = [10, 80]. Найдите наименьшую возможную длину отрезка Q, при котором формула

тождественно истинна, то есть принимает значение 1 при любых x.