Задания
Версия для печати и копирования в MS Word
Для какого наибольшего целого неотрицательного числа А логическое выражение
(y > A) ∨ (152 ≠ 2y + 3x) ∨ (A < x)
тождественно истинно (т. е. принимает значение 1) при любых целых положительных x и y?
Решение.
Приведём решение на языке Python.
for a in range(100,0,-1):
k = 1
for x in range(0, 100):
for y in range(0, 100):
if not((y > a) or (152 != 2 * y + 3 * x) or (x > a)):
k = 0
if k:
print(a)
break
Ответ: 30.