(А. Богданов) На числовой прямой даны два отрезка: P = [13; 19] и Q = [17; 23]. Укажите наибольшую возможную длину такого отрезка A, что формула
\(\lnot (\lnot (x \in P) \rightarrow (x \in Q)) \rightarrow ((x \in A) \rightarrow (\lnot (x \in Q) \rightarrow (x \in P)))\)
тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?