Задание

На числовой прямой даны два отрезка: P=[13, 37] и Q=[4, 25]. Определите наименьшую возможную длину отрезка A, такого, что формула

((x ∉ А) → (x ∉ Q) ) ∨ (x ∈ P)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х?