(К. Иглин) Для какого наименьшего целого положительного числа А выражение
(x < A) ∧ (y < 3A) ∨ (2x + y > 129)
истинно (т. е. принимает значение 1) при любых целых положительных x и y?
for A in range(1, 300):
Ищем наименьшее A, при котором формула истинна для всех пар (x, y).
for x in range(1, 200):
for y in range(1, 200):
if not (((x < A) and (y < 3 * A)) or (2 * x + y > 129)):
ok = False
break
Для каждого A перебираем целые x и y и проверяем дизъюнкцию из условия.
if ok:
print(A)
break
Если ни одна пара не опровергла формулу — нашли нужное A, выводим и останавливаемся. Ответ: 65.
Время решения
00:00.00
Нажмите «Пуск», когда начнёте решать
Пробел — пуск и пауза
Поверните телефон
Горизонтальный режим удобнее для таблицы и Python-кода