Тип 15 № 89234 
Преобразование логических выражений. Числовые отрезки
i
На числовой прямой даны два отрезка:
P = [−19352; 22118]
и
Q = [−12817; 196773].
Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
(x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P))
истинно (т. е. принимает значение 1) при любом значении переменной х.
Решение. Введем обозначения:
(x ∈А) ≡ A; (x ∈ P) ≡ P; (x ∈ Q) ≡ Q.
Преобразовав, получаем:
P → ((Q ∧ ¬A) → ¬P) = P → (¬(Q ∧ ¬A) ∨ ¬P) =¬P ∨ (¬Q ∨ A ∨ ¬P) = ¬P ∨ ¬Q ∨ A
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение.
Условию ¬P= 1 удовлетворяют лучи (−∞; −19352) и (22118; +∞)
Условию ¬Q= 1 удовлетворяют лучи (−∞; −12817) и (196773; +∞)
Поскольку выражение (x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P)) должно быть тождественно истинным, выражение A должно быть истинно на отрезке (−12817; 22118) . Следовательно, наименьшая длина отрезка А равна 22118 − (−12817) = 34 935.
Ответ: 34935.
Приведём решение Сергея Донец на PascalABC.NET:
begin
var P := -19352..22118;var Q := -12817..196773;
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->
(x in P)<=(((x in Q)and not(x in A))<=not(x in P))
)).Min(A->A.Size).Round.Print;
end.
Ответ: 34935
PDF-версии: