Neuronis — ИИ-тренажёр ЕГЭ по информатике

15. Логические выражения в программах Вариант Апробация 14.05.26

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

(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.

… — Neuronis