На числовой прямой даны два отрезка: P = [130; 171], Q = [150; 185]. Формула (x ∈ P) → (((x ∈ Q) ∧ (¬ (x ∈ G))) → (¬ (x ∈ P))) принимает значение 1 при любом x. Укажите наименьшую возможную длину отрезка G.

Задание

На числовой прямой даны два отрезка: P =

\[130; 171\]

, Q =

\[150; 185\]

.
Формула \(x ∈ P\) → \(\(\(x ∈ Q\) ∧ \(¬ \(x ∈ G\))) → (¬ \(x ∈ P\))) принимает значение 1 при любом x.

Укажите наименьшую возможную длину отрезка G.