Решение ✅ 5470. Ручной метод. (Е. Джобс) На числовой прямой даны два отрезка: P = [254; 800] и Q = [410; 823]. Найдите наименьшую возможную длину отрезка A, при котором формула ((x ∈ P) ∧ ¬(x ∈ A)) → (x ∈ Q)