Для какого наименьшего целого числа A формула

$(x \geq 20) \vee (y \geq 40) \vee (y \leq x + A) \vee (y \geq 3x - A)$

тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Question

Для какого наименьшего целого числа A формула

$(x \geq 20) \vee (y \geq 40) \vee (y \leq x + A) \vee (y \geq 3x - A)$

тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Решение:

Решение на Python:

b = []
for a in range(1, 300):
    t = 1
    for x in range(1, 300):
        for y in range(1, 300):
            if ((x >= 20) or (y >= 40) or (y <= x+a) or (y >= 3*x-a)) == 0:
                t = 0
                break
    if t == 1:
        b.append(a)
print(min(b))

Ответ: 19

Ответ:

19

Accepted Answer

19