Тип 15 № 27547 
Преобразование логических выражений. Координатная плоскость
i
Для какого наименьшего целого неотрицательного числа А выражение
(3x + 5y < A) ∨ (x ≥ y) ∨ (y > 8)
тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение. 
Решим задачу графически. Условия (x ≥ y) и (y > 8) задают множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямая 3x + 5y = A должна проходить выше точки (7; 8). Таким образом, наименьшее целое неотрицательное А, удовлетворяющее условию задачи, — это A, равное 62.
Приведем аналитическое решение.
Если истинно одно из выражений (x ≥ y) или (y > 8), то выражение (3x + 5y < A) ∨ (x ≥ y) ∨ (y > 8) истинно независимо от значения А.
Если же оба выражения (x ≥ y) и (y > 8) ложны, то есть при выполнении условий (x < y) и (y ≤ 8), выражение 3x + 5y < A должно быть истинным.
Найдем максимально возможное значение выражения 3x + 5y при выполнении условий (x < y) и (y ≤ 8).
Заметим, что для целых чисел неравенство (x < y) равносильно неравенству (x ≤ y–1). Тогда
3x+5y ≤ 3(y–1) + 5y = 8y – 3 ≤ 64 – 3 = 61.
Таким образом, должно выполняться условие 61 < А, откуда А = 62.
Ответ: 62.
Приведём другое решение на языке Python.
for A in range(300):
k = 0
for x in range(300):
for y in range(300):
if (3 * x + 5 * y < A) or (x >= y) or (y > 8):
k += 1
if k == 90_000:
print(A)
break
Ответ: 62
