Е15.36 формула ( (x ∈ А) → (x ∈ P) ) \/ (x ∈ Q) тождественно истинна

На числовой прямой даны два отрезка: P = [5, 17] и Q = [13, 23]. Найдите наибольшую возможную длину отрезка A, при котором формула

( (x  А) → (x  P) ) \/ (x  Q)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х.

Ответ:

 

источник: informatikaexpert.ru