На числовой прямой даны два отрезка:
тождественно истинна (то есть принимает
Введем обозначения:
Применив преобразование импликации, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Условие
Ответ: 23.
Примечание.
О длине отрезка написано в примечании к задаче 11119.
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 69..91;var Q := 77..114;
var setX := |P.First,P.Last,Q.First,Q.Last,-99999,99999|
.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 Q)<=(((x in P)=(x in Q))or(not(x in P)<=(x in A)))
)).Min(A -> A.Size).Round.Print;
end.

