На числовой прямой даны два отрезка:
Какова наименьшая возможная длина
тождественно истинно, то есть принимает
Введем обозначения:
Применив преобразование импликации, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Наибольший интервал, на котором ¬(P ∨ A) истинно, получится, если
Ответ: 15.
Примечание.
О длине отрезка написано в примечании к задаче 11119.
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 8..39;var Q := 23..58;
var setX:=|P.First,P.Last,Q.First,Q.Last,-999,999|
.SelectMany(x->|x-0.1,x,x+0.1|);
setX.Order.Combinations(2).Select(m->m[0]..m[1])
.Where(A->setX.All(x->
((x in P)or(x in A))<=((x in Q)or(x in A))
)).Min(A->A.Size).Round.Print;
end.

