Примеры решений прототипа №1

ПРИМЕРЫ РЕШЕНИЯ

№ 19247 ЕГКР 21.12.24 (Уровень: Базовый)

Для какого наименьшего целого неотрицательного числа A выражение
\((x-3y<A) \lor (y>400) \lor (x>56)\)
тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?

def f(x, y):
    return ((x - 3 * y) < A) or (y > 400) or (x > 56)

for A in range(1, 100000):
    if all(f(x, y) for x in range(1, 1000) for y in range(1, 1000)):
        print(A)
        break

№ 17556 Основная волна 08.06.24 (Уровень: Базовый)

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Пусть на числовой прямой дан отрезок B = [70, 90]. Для какого наибольшего натурального числа А логическое выражение
ДЕЛ(x, А) ∨ ((x ∈ B) → ¬ДЕЛ(x, 22))
истинно (т.е. принимает значение 1) при любом целом положительном значении переменной х?

def f(x):
    B = 70 <= x <= 90
    return (x % A == 0) or (B <= (not (x % 22 == 0)))

for A in range(10000, 1, - 1):
    if all(f(x) for x in range(1, 10000)):
        print(A)
        break