ID: 15.50008 • Источник: Сборник С. С. Крылова 2024 • Сложность: medium
Задание №15
Прочие типы
Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k».
Для какого наибольшего натурального числа А формула
¬((ТРЕУГ(х, 12,20) = (¬(МАКС(х, 5) > 28))) ∧ ТРЕУГ(х, А, 3))
тождественно истинна (т. е. принимает значение 1) при любом натуральном значении х?
Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.
Для какого наибольшего натурального числа А формула
¬((ТРЕУГ(х, 12,20) = (¬(МАКС(х, 5) > 28))) ∧ ТРЕУГ(х, А, 3))
тождественно истинна (т. е. принимает значение 1) при любом натуральном значении х?
Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.