На числовой прямой даны два отрезка: P = [10, 20] и Q = [15, 28]. Найдите наибольшую возможную длину отрезка A, при котором формула
\(( (x \in А) \land \lnot (x \in P) ) \rightarrow (x \in Q)\)
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.