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

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

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

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

Задача 1#63010

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

(¬ ДЕЛ (x,A)∧ ДЕ Л(x,15)) → (¬Д ЕЛ(x,18)∨ ¬Д ЕЛ(x,15))

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

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

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

Обозначим элементы выражения как:

ДЕЛ(x,A) – A

ДЕЛ(x,15) – 15

ДЕЛ(x,18) – 18

Тогда запишем выражение:

(¬A ∧ 15) → (¬18 ∨¬15)

Упростим выражение:

(A ∨¬15) → (¬18 ∨¬15)

A∨ ¬15 ∨¬18

Данное выражение должно равняться 1. Найдем случаи, когда известная часть равна 0, а часть с А - 1, для этого отрицаем известную часть и ищем когда она равна 1:

15∧ 18

Получается, что максимальное значение А равно НОК(18,15) = 90.

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

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

(¬ ДЕЛ (x,A)∧ ДЕ Л(x,15)) → (¬Д ЕЛ(x,18)∨ ¬Д ЕЛ(x,15))

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

# перебор возможных значений A от 1 до 999
for a in range(1, 1000):
    # флаг: 0 - выражение выполняется для всех x, 1 - найдено нарушение
    f = 0
    # перебор всех x от 1 до 1000
    for x in range(1, 1001):
        # проверка логического выражения при текущих a и x
        if (((x % a != 0) and (x % 15 == 0)) <= ((x % 18 != 0) or (x % 15 != 0))) == False:
            # если выражение оказалось ложным, фиксируем нарушение и прерываем цикл
            f = 1
            break
    # если выражение истинно для всех x, выводим текущее подходящее A
    if f == 0:
        print(a)

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

Ответ: 90

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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