Тема 15. Алгебра логики – преобразование логических выражений

15.07 Прочие прототипы

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

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

Задача 1#63667

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

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

¬(¬Т РЕ УГ (x, 546, A) ∧¬ ТР ЕУ Г(777, x, A ))∨(x > 1000)

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

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

Решение прогой:

Зададим функцию triangle, проверяющую, что числа могут быть сторонами треугольника (самая длинная сторона должна быть меньше суммы двух других). Она будет возвращать True или False. Далее переберём A и x, для проверки заданных условий. Переменная-флаг будет контролировать, что А прошло все необходимые проверки. Если все условия соблюдены и при всех х flag остался True - увеличим переменную, которую в итоге выведем.

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): # Перебор x
        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

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

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

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

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

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

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

Бесплатное онлайн-обучение

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

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

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

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

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

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

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

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