На числовой прямой даны два отрезка: M = [257; 382] и N = [361; 513]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение
¬ (x ∈ A) → ((x ∈ M) ≡ (x ∈ N))
истинно (т. е. принимает значение 1) при любом значении переменной х.
Введем обозначения:
Преобразовав, получаем:
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Логическое И истинно, когда истинны оба утверждения. Условию
Ответ: 256.
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := 257..382;var Q := 361..513;
var setX:=|P.First,P.Last,Q.First,Q.Last,-9999999,9999999|
.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)<=((x in P)=(x in Q))
)).Min(A->A.Size).Round.Print;
end.

