Задание

На числовой прямой даны два отрезка: P =

\[10, 23\]
и Q =
\[5, 16\]
.
Введем обозначения:
P - x принадлежит отрезку P
Q - x принадлежит отрезку Q
A - x принадлежит отрезку A
Найдите минимально возможную длину отрезка A так, чтобы выражение \( P → Q \) \/ A было тождественно истинно, то есть принимало значение 1 при любом значении переменной х.