На числовой прямой даны два отрезка: \(B = [10; \, 15]\) и \(C = [20; \, 27].\) Укажите наименьшую возможную длину такого отрезка \(A,\) для которого логическое выражение $$\neg ((( x \in B) \lor (x \in C)) \to (x \in A))$$ ложно (т.е. принимает значение \(0)\) при любом значении переменной \(x.\)
Обозначим через \(ТРЕУГ(n, \, m, \, k)\) утверждение «существует невырожденный треугольник с длинами сторон \(n, \, m, \, k\)». Для какого наибольшего натурального числа \(A\) формула $$\neg (( ТРЕУГ(x, \, 12, \, 20) \equiv ( \neg ( МАКС(x, \, 5) > 28))) \land ТРЕУГ(x, \, A, \, 3))$$ тождественно истинна (т.е. принимает значение \(1)\) при любом натуральном значении переменной \(x?\)
Примечание. \(МАКС(a, \, b) = a,\) если \(a > b\) и \(МАКС(a, \, b) = b,\) если \(a \leqslant b.\)
Обозначим через \(ТРЕУГ(n, \, m, \, k)\) утверждение «существует невырожденный треугольник с длинами сторон \(n, \, m, \, k\)». Для какого наибольшего натурального числа \(A\) формула $$\neg (( ТРЕУГ(x, \, 11, \, 18) \equiv ( \neg ( МАКС(x, \, 5) > 15))) \land ТРЕУГ(x, \, A, \, 5))$$ тождественно истинна (т.е. принимает значение \(1)\) при любом натуральном значении переменной \(x?\)
Примечание. \(МАКС(a, \, b) = a,\) если \(a > b\) и \(МАКС(a, \, b) = b,\) если \(a \leqslant b.\)
Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Для какого наименьшего натурального числа \(A\) формула $$(ДЕЛ(x, \, 20) \to \neg ДЕЛ(x, \, 11)) \lor (x + A \geqslant 300)$$ истинно (т.е. принимает значение \(1)\) при любом целом положительном значении переменной \(x?\)
Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Для какого наименьшего натурального числа \(A\) формула $$(ДЕЛ(x, \, 13) \to \neg ДЕЛ(x, \, 21)) \lor (x + A \geqslant 500)$$ истинно (т.е. принимает значение \(1)\) при любом целом положительном значении переменной \(x?\)
Для какого наименьшего целого числа \(A\) логическое выражение $$(x \geqslant 20) \lor (y \geqslant 40) \lor (y \leqslant x + A) \lor (y \geqslant 3x - A)$$ истинно (т.е. принимает значение \(1)\) при любых целых неотрицательных \(x\) и \(y?\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене