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