Задача #1494

Логические выражения

Уровень ЕГЭ

(М. Ишимов) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».
Пусть на числовой прямой дан отрезок B = [120; 130].
Для какого наименьшего натурального числа А формула

((x∈B)→¬ДЕЛ(x,7))∨(A>2x)

истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?

Ответ
Войдите, чтобы история ответов и статистика сохранялись.
Решение Нажми, чтобы открыть

Ответ

253

Видео по задаче

def f(x):
    return ((120 <= x <= 130) <= (not (x % 7 == 0))) or (a > 2 * x)

for a in range(1, 10000):
    if all(f(x) for x in range(1, 100000)):
        print(a)
        break
Быстрый переход
Перейти к задаче