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

15.01 Деление без остатка

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

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

Задача 1#64063

Обозначим через ДЕЛ(n,m)  утверждение «натуральное число n  делится без остатка на натуральное число m  ». Для какого наименьшего натурального числа A  формула

Д ЕЛ(A,9) ∧(Д ЕЛ(280,x) → (¬ ДЕЛ (A,x) → ¬ДЕ Л(730,x)))

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

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

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

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

Д ЕЛ(A,9) ∧(Д ЕЛ(280,x) → (¬ ДЕЛ (A,x) → ¬ДЕ Л(730,x)))

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

# перебор всех натуральных A от 1 до 1000
for a in range(1, 1001):
    # флаг: True - выражение выполняется для всех x, False - хотя бы один случай нарушает
    flag = True
    # перебор всех x от 1 до 10000
    for x in range(1, 10001):
        # проверка истинности формулы для текущего x
        if ((a % 9 == 0) and ((280 % x == 0 ) <= ((a % x != 0) <= (730 % x != 0)))) == False:
            # если выражение ложно, фиксируем нарушение
            flag = False
            break
    # если формула истинна для всех x, выводим минимальное A и прекращаем поиск
    if flag == True:
        print(a)
        break

Получается ответ: 90.

Ответ: 90

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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