На числовой прямой даны два отрезка: P = [8, 11] и Q = [15, 22]. Отрезок A таков, что формула
\(((x ∉ P) \lor (x \in A)) \land ((x ∉ A) \rightarrow (x ∉ Q))\)
истинна при любом значении переменной x. Какое наименьшее количество точек, соответствующих нечётным целым числам, может содержать отрезок A?