Для какого наибольшего целого неотрицательного числа А выражение
(x · y < 120) ∨ (y > A) ∨ (x > A)
тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение.
Решим задачу графически. Условие (x · y < 120) задаёт множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямые и должны проходить через точку (10; 12) или через точку (12; 10). Таким образом, наибольшее целое неотрицательное А, удовлетворяющее условию задачи, — это A, равное 10.
Для какого наибольшего целого неотрицательного числа А выражение
(x · y < 140) ∨ (y > A) ∨ (x > A)
тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение.
Решим задачу графически. Условие (x · y < 140) задаёт множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямые и должны проходить через точку (11; 14) или через точку (14; 11). Таким образом, наибольшее целое неотрицательное А, удовлетворяющее условию задачи, — это A, равное 11.
Ответ: 11.
Приведём решение на языке Python.
for A in range(300, -1, -1):
k = 0
for x in range(1, 301):
for y in range(1, 301):
if (x * y < 140) or (y > A) or (x > A):
k += 1
if k == 90_000:
print(A)
break
Приведём решение Михаила Глинских на языке Python.