На числовой прямой даны два отрезка:
Какова наименьшая возможная длина
тождественно истинна, то есть принимает
Введем обозначения:
Преобразовав, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. ¬Q∨P истинно тогда, когда
Ответ: 30.
Примечание.
О длине отрезка написано в примечании к задаче 11119.
Приведём решение Алексея Ворона на языке Python.
s = []
for amin in range(1,100):
for amax in range(1,100):
b = 1
for x in range(1,100):
if ((not(amin <= x <= amax) and (32 <= x <= 92)) <= (12 <= x <= 62))==0:
b = 0
break
if b == 1:
s.append(amax-amin)
print(min(s)+1)
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 12..62;var Q := 32..92;
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->
(not(x in A)and(x in Q))<=(x in P)
)).Min(A->A.Size).Round.Print;
end.

