Е15.65 логическое выражение (y > A) \/ (152 ≠ 2y + 3x) \/ (A < x) тождественно истинно

Администратор

9 месяцев назад

Для какого наибольшего целого неотрицательного числа А логическое выражение
(y > A) \/ (152 ≠ 2y + 3x) \/ (A < x)
тождественно истинно (т.е. принимает значение 1) при любых целых положительных x и y?

Ответ:

СтатГрад Вариант ИН2510101 23 октября 2025 – задание №15

Показать решение...

Решение:

Решение на Python —

for a in range(1, 1000):
    f = True
    for x in range(500):
        for y in range(500):
            if ((y>a) or (152!=2*y+3*x) or (a<x)) == 0:
                f = False
    if f == True:
        print(a)

for a in range(1, 1000):

f = True

for x in range(500):

for y in range(500):

if ((y>a) or (152!=2*y+3*x) or (a<x)) == 0:

f = False

if f == True:

print(a)

…
26
27
28
29
30

ИЛИ

def f(x, y, A):
    return (y > A) or (152 != 2 * y + 3 * x) or (A < x)

for A in range(1000, 0, -1):
    if all(f(x, y, A) for x in range(1, 1000) for y in range(1, 1000)):
        print(A)
        break

def f(x, y, A):

return (y > A) or (152 != 2 * y + 3 * x) or (A < x)

for A in range(1000, 0, -1):

if all(f(x, y, A) for x in range(1, 1000) for y in range(1, 1000)):

print(A)

break

Ответ: 30