Задание 15

Для какого наибольшего целого неотрицательного числа А выражение

(x > A) ∨ (y > A) ∨ (x + 2y < 80)

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

Решение

for A in range(100, 0, -1):

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

c = 0
for x in range(1, 101):
    for y in range(1, 101):
        if (x > A) or (y > A) or (x + 2 * y < 80):
            c += 1

Перебираем все допустимые x и y и считаем, при скольких парах формула истинна.

if c == 10000:
    print(A)
    break

Если формула истинна для всех 100 × 100 пар — выводим A и останавливаемся.

Ответ: 26.