На числовой прямой даны два отрезка: P = [117; 158] и Q = [130; 180]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
ложно (т. е. принимает значение 0) при любом значении переменной х.
Введем обозначения:
Применив преобразование импликации, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Условие ¬P
Условие ¬Q
Поскольку
Ответ: 28.
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 117..158;var Q := 130..180;
var setX:=|P.First,P.Last,Q.First,Q.Last,-9999,9999|
.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 P)<=((not(x in A)and(x in Q))<=not(x in P)))=false
)).Min(A->A.Size).Round.Print;
end.

