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

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

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

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

Задача 1#87939

Для какого наименьшего целого числа А выражение

(x > 80) ∨(y > 70)∨(3⋅x − 5⋅y < A)

тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?

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

Решение руками:

Отрицаем известную часть и получаем, что:

(x ≤ 80)∧ (y ≤ 70)

То есть x ∈ [0;80],y ∈ [0,70]  . Нам необходимо, чтобы A > 3 ⋅x− 5⋅y  .

Максимальное значение в левой части третьей скобки достигается при значении x = 80; y = 0. Наименьшее значение А, при котором будет выполнено неравенство равняется: A > 3⋅80− 5 ⋅0 → A > 240 → A = 241  .

 

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

Для нахождения наименьшего целого A  , при котором выражение

(x > 80) ∨(y > 70)∨(3⋅x − 5⋅y < A)

тождественно истинно для всех неотрицательных целых x  и y  , используем программный перебор. Идея заключается в том, чтобы проверить все значения A  от -1000 до 999 с помощью цикла for. Для каждого A  перебираем все значения x  и y  от 0 до 999 через вложенные циклы for. Если хотя бы для одной пары (x,y)  выражение оказалось ложным, текущее A  отбрасываем. Если выражение истинно для всех (x,y)  , фиксируем найденное минимальное A  и прекращаем перебор.

for a in range(-1000, 1000):
    # Переменная-флаг: 0 - выражение пока истинно для всех x и y, 1 - найдено ложное значение
    c = 0
    # перебор всех x от 0 до 999
    for x in range(0, 1000):
        # перебор всех y от 0 до 999
        for y in range(0, 1000):
            # проверка выполнения выражения для текущих x, y и A
            # если выражение ложно, меняем флаг
            if ((x > 80) or (y > 70) or (3*x - 5*y < a)) == False:
                c = 1
                break  # выход из цикла по y
        if c == 1:
            break  # выход из цикла по x
    # если выражение истинно для всех x и y, выводим A и прекращаем перебор
    if c == 0:
        print(a)
        break

Получаем ответ: 241.

Ответ: 241

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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