На числовой прямой даны три отрезка: P = [268764; 775637], Q = [128932; 894567], R = [546831; 929871]. Укажите наименьшую возможную длину такого отрезка A, что формула
\((¬(x \in A)) \to (((x \in P) \equiv (x \in Q)) \to ((x \in R) \equiv (x \in Q)))\)
тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?