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

15.03 Неравенства

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

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

Задача 1#16311

Для какого наибольшего целого неотрицательного числа A  выражение

(5x + 2y ⁄= 85)∨ (A ≤ x)∨ (x ≤ y)

тождественно истинно при любых целых неотрицательных x  и y?

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

Решение 1 (руками)

Враги хотят чтобы x  был как можно меньше и при этом 5x + 2y = 85  и x > y  . Тогда они возьмут x = 13,y = 10  .

Тогда друзья подберут такой A  , что он будет гарантированно меньше либо равен x = 13  . Такой наибольший A = 13  .

Решение 2 (прогой)

def f(a):
    for x in range(1, 1000):
        for y in range(1, 1000):
            if not ((5 * x + 2 * y != 85) or (a <= x) or (x <= y)):
                return False
    return True


for a in range(1000, 0, -1):
    if f(a):
        print(a)
        break

Ответ: 13

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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