На числовой прямой даны два отрезка: P = [5, 17] и Q = [13, 23]. Найдите наибольшую возможную длину отрезка A, при котором формула
( (x ∈ А) → (x ∈ P) ) \/ (x ∈ Q)
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
Ответ:
источник: informatikaexpert.ru