На числовой прямой даны два отрезка:
тождественно истинна (то есть принимает
Введем обозначения:
Применив преобразование импликации, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Условие
Ответ: 23.
Примечание.
О длине отрезка написано в примечании к задаче 11119.

