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

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

( (x ∈ А) → (x ∈ P) ) ∨ (x ∈ Q)

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

 

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