(Д. Статный) На числовой прямой Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». На числовой прямой даны три отрезка: P = [257, 356], Q = [5, 600] и R = [59, 228]. Какова минимальная длина отрезка A, при котором формула
\(((x \in R) \rightarrow (x \in A)) \lor ((ДЕЛ(x, 3) \rightarrow (x \in P)) \rightarrow ((x \in Q) \rightarrow (x \in A)))\)
тождественно истинна, то есть принимает значение 1 при любом значении переменной х?