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

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

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

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

Задача 1#63014

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

(x ≥ 7) ∨(2x < y)∨(xy < A)

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

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

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

Отрицаем известную часть: (x < 7) ∧(y ≤ 2x )  . Чтобы найти минимальное значение A  необходимо, чтоб произведение xy  было максимальным. Исходя из полученных неравенств получим x = 6  , тогда y = 12  . Теперь подставим эти значения в неравенство (xy < A)  . Получим 72 < A  . Тогда минимально A = 73  .

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

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

(x ≥ 7) ∨(2x < y)∨(xy < A)

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

for a in range(100):
    f = 0  # флаг: 0 - выражение пока истинно для всех x и y, 1 - найдено ложное значение
    # перебор всех x от 0 до 100
    for x in range(101):
        # перебор всех y от 0 до 99
        for y in range(100):
            # проверка выполнения выражения для текущих x, y и A
            if ((x >= 7) or (2 * x < y) or (x * y < a)) == False:
                f = 1  # если выражение ложно, меняем флаг
                break  # выход из цикла по y
        if f == 1:
            break  # выход из цикла по x при найденном ложном случае
    if f == 0:
        # если выражение истинно для всех x и y, выводим A и прекращаем перебор
        print(a)
        break

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

Ответ: 73

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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