Задача к ЕГЭ по информатике на тему «прочие прототипы» №3

Обозначим через ТРЕУГ(n,m, k  ) утверждение «существует невырожденный треугольник с длинами сторон n,m  и k  ».

Найдите сумму всех натуральных чисел A  , для которых формула

¬(¬Т РЕ УГ (x, 546, A) ∧¬ ТР ЕУ Г(777, x, A ))∨(x > 1000) » class=»math-display» src=»/images/inform/quest/quest-5631-5.svg» width=»auto»></div>
<p class= тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной x  ?

def triangle(a, b, c):
    a, b, c = sorted([a, b, c])
    return a + b > c

summa = 0
for A in range(1, 1000):
    flag = True
    for x in range(1, 1000):
        if (not(not triangle(x, 546, A) and not triangle(777, x, A)) or x > 1000) == False:
            flag = False
    if flag:
        summa += A
print(summa)

Ответ: 1323
Оцените статью
Я решу все!