15. На числовой прямой даны два отрезка: \(P =\) [6; 15] и \(Q =\) [12; 17]. Укажи **** наибольшую возможную длину такого отрезка \(A\), для которого логическое выражение

\(((x\in A)\to (x\in P)) \lor (x\in Q)\)

тождественно истинно (т. е. принимает значение 1) при любом значении переменной \(x\).

[ ]