Законы математической логики

На числовой прямой даны два отрезка: P = [12, 28] и Q = [15, 30]. Отрезок A таков, что формула

((x ∈ P) → (x ∈ A)) ∧ ((x ∉ Q) ∨ (x ∈ A))

истинна при любом значении переменной x. Определите наименьшую возможную длину отрезка A.