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