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