Задания
Версия для печати и копирования в MS Word
Для какого наибольшего целого неотрицательного числа А логическое выражение
(y > A) ∨ (179 ≠ 3y + x) ∨ (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 (179 != 3 * y + x) or (a < x)):
k = 0
if k:
print(a)
break
Ответ: 44.