Алгоритм решения задания 15. Часть 3
Учимся решать 15 задания третьего типа
Читать
Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m, k».
Для какого наибольшего натурального числа А логическое выражение ¬((ТРЕУГ(x, 12, 20) ≡ (¬(МАКС(x, 5) > 23))) ∧ ТРЕУГ(x, А, 3)) истинно (т.е. принимает значение 1) при любом натуральном значении переменной x?
Примечание. МАКС(a, b) = a, если a > b и МАКС(a, b) = b, если a ≤ b.
Правильный ответ:
6
def treug(n, m, k):
x, y, z = sorted((n, m, k))
return x + y > z
def f(x, A):
return not ((treug(x, 12, 20) == (not (max(x, 5) > 28))) and treug(x, A, 3))
for A in range(1, 10)[::-1]:
if all(f(x, A) for x in range(1, 10)):
print(A)
break
