Задание 15

(В. Лашин) Для какого наименьшего целого положительного числа А выражение

(x < A) ∨ (x*y>50) ∨ (x > y + 10)

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

Решение

for A in range(1, 101):

Ищем наименьшее A, при котором формула истинна для всех пар (x, y).

for x in range(1, 101):
    for y in range(1, 101):
        if not ((x < A) or (x*y>50) or (x > y + 10)):
            ok = False
            break

Для каждого A перебираем целые положительные x и y и проверяем дизъюнкцию из условия.

if ok:
    print(A)
    break

Если ни одна пара не опровергла формулу — нашли нужное A, выводим и останавливаемся.

Ответ: 14.