Тема 15. Преобразование логических выражений
15.07 Другое
Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела преобразование логических выражений
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#63122

Введём два утверждения. ОСТРОУГ(a, b, c) – «существует остроугольный треугольник со сторонами a, b и c». ТУПОУГ(a, b, c) – «существует тупоугольный треугольник со сторонами a, b и c». Аргументы a, b и c в каждой из функций подаются в неё по возрастанию, иначе функция возвращает ложное значение.

Для какой минимальной длины отрезка A  формула

 ------------------  -----------------
(ОС ТРО УГ(39,80,x)∧ ТУП ОУ Г(65,72,x)) → (((x > 80)∧(x < 119)) → (x ∈ A ))

тождественно истина (т. е. принимает значение 1) при любом натуральном значении переменной x  ?

Показать ответ и решение

Раскрываем импликацию и упрощаем выражение, получаем:

О СТР ОУ Г(39,80,x)∨ ТУ ПО УГ(65,72,x)∨ (x ≤ 80)∨ (x ≥ 119)∨ (x ∈ A)

«Враги» хотят, чтобы выражение было ложно:

(
||О СТ РОУ Г(39,80,x) = 0
||||
|||{Т УП ОУ Г(65,72,x) = 0

|||x > 80
||||x < 119
||(
 x ∕∈ A

Разберёмся, когда первый треугольник не будет остроугольным и когда второй треугольник не будет тупоугольным. При x ≤ 41  или x ≥ 119  треугольник (39, 80, x) не существует. При x ≤ 7  или x ≥ 137  треугольник (65, 72, x) не существует. По условию в функции ОСТРОУГ(a, b, c) и ТУПОУГ(a, b, c) подаются аргументы по возрастанию, поэтому x будет являться наибольшей стороной.

Треугольник является остроугольным, когда a2 + b2 < c2  и является тупоугольным при a2 + b2 > c2  . Таким образом, получаем, что для (39,80,x)  остроугольный треугольник не существует при    √ --2----2
x ≥  39 + 80  , то есть при x ≥ 89  . Аналогично для (65,72,x )  , тупоугольный треугольник не существует при     √--------
x ≤  652 +722  , то есть при x ≤ 97  .

Преобразуем систему в соответствии с нашими высказываниями.

(
|| x ≥ 89
||||
|||{ x ≤ 97     ({
           ⇒   x ∈ [89;97]
||| x > 80     ( x ∕∈ A
|||| x < 119
||(
  x∈∕A

«Друзья» хотят победить врагов, поэтому им нужно, чтобы следующая система была истинной при всех x  и A  .

⌊
 x ∕∈ [89;97]
⌈
 x ∈ A

Это обеспечивается тогда, когда [89,97] ⊂ A  . Следовательно, минимальная длина A  обеспечивается, когда A = [89,97]  . Таким образом, длина A  равна 8  .

Ответ: 8

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное обучение
в Школково

Для детей ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Брянской областей, а также школьникам, находящимся в пунктах временного размещения Крыма обучение на платформе бесплатное.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ или олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!