Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный
Условие
Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m, k».Для какого наибольшего натурального числа A формула((ТРЕУГ(x, 10, 20) → (¬(МАКС(x,
-
24))) = ¬(ТРЕУГ( 3, A, x)))тождественно истинна (то есть принимает значение
-
при любом натуральном значении переменной х?Примечание: МАКС(a, b) = а, если и МАКС(a, b) = b, если
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Решение. Приведём решение на языке Python.def t(n,m,k): return max(n,m,k) < n + m + k - max(n,m,k)def f(A,x): return t(x,10,20) <= (not((max(x,8) > 24)) == (not t(3,A,x)))for A in range(1000): if all (f(A,x) for x in range(1000)): print(A)
Осталось ещё 1 шаг
Приведём решение Бориса Савельева на языке…
Бесплатно · займёт минуту
Другие задачи по теме «Преобразование логических выражений»
принимает значение 1 при любом неотрицательном целом значении11 класспринимает значение 1 при любом неотрицательном целом значении11 классНапример, 14&5 = 1110₂ & 0101₂ = 0100₂ = 4.Для какого наименьшего11 класспринимает значение 1 при любом неотрицательном целом значении11 класспринимает значение 1 при любом неотрицательном целом значении11 класс