К списку задач
ЕГЭ 15 · Законы математической логики
Законы математической логики
На числовой прямой даны два отрезка: P=[1, 40], Q=[25, 120]. Найдите наименьшую возможную длину отрезка A, при котором формула
(x ∈ Q) → ( (¬(x ∈ P) ∧ (x ∈ Q)) → (x ∈ A) )
тождественно истинна, то есть принимает значение 1 при любых x.
Запишите ответ в формате, указанном в условии.