Тип 15 № 16447 

Преобразование логических выражений. Координатная плоскость
i
Для какого наибольшего целого неотрицательного числа A выражение
(2x + 3y < 30) ∨ (x + y ≥ A)
тождественно истинно при любых целых неотрицательных x и y?
Спрятать решениеРешение. 
Решим задачу графически. Условие (2x + 3y < 30) задаёт множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямая (x + y ≥ A) должна находиться левее незакрашенной области. Следовательно, она должна проходить через точки (0, 10) и (10, 0). Таким образом, наибольшее целое неотрицательное A равно 10.
Ответ: 10.
Примечание.
Покажем, что А не может быть больше 10. Пусть x = 0, y = 10, тогда выражение 2x + 3y < 30 ложно. Следовательно, должно быть истинным выражение x + y ≥ A. Это возможно, только если A ≤ 10, поскольку x + y = 10.
Обратим внимание читателей, использующих программы для решения этого и аналогичных заданий, что выражение должно быть тождественно истинным для любых неотрицательных x и y, поэтому перебор значений следует начинать с 0, а не с 1.
Приведём другое решение на языке Python.
for a in range(300, 0, -1):
k = 0
for x in range(0, 300):
for y in range(0, 300):
if (2*x + 3*y < 30) or (x + y >= a):
k += 1
if k == 90_000:
print(a)
break
Ответ: 10