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

15.06 Смешанное

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

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

Задача 1#56882

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

Для какого наименьшего натурального числа A  формула

¬ ДЕ Л(xy, A) ∨(y >  4095)∨ (x > 2y + 1 )∨ ¬Д ЕЛ (y, 2)∨ Д ЕЛ (x, 2)

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

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

Запишем, чего хотят враги:

(
|||| Д ЕЛ (xy, A )
|||| y ≤ 4095
|{
| x ≤ 2⋅y+ 1
||||
|||| Д ЕЛ (y, 2)
( ¬Д Е Л(x, 2)

Исходя из этого уменьшим поиск x,y  по нечетным и четным значениям соответственно:

Решение 1  (прогой, работает пару минут):

Пройдёмся по большому диапазону чисел (от 1 до 10000), этого хватит для нахождения нужного A. Переберём x и у в не менее большом диапазоне. Если x умноженный на y делится на А, значит переменную-флаг можно ставить на False, ведь такое число нам не подойдёт. Пройдёмся в точности по условию, прописанному в начале решения. Проверим все чётные y (меньше или равные 4095), все нечётные x и сделаем так, чтобы x был изначально 5, а y 2, что обеспечивает проверку третьего условия. Таким образом мы пройдёмся по всем запрещённым случаям и выясним, подходит ли под них A. Выведем первое подходящее.

# Перебор А
for A in range(1, 10000):
    flag = True # Флаг для проверки условий, он будет True, если всё соблюдено
    for x in range(5, (4095 + 1) * 2 + 1, 2): # Перебор х согласно условиям 3 и 5
        for y in range(2, 4095 + 1, 2): # Перебор у согласно условиям 2, 3 и 4
            if x * y % A == 0: # Проверка условия 1
                flag = False # Если условие нарушено - А не подходит
                break
        if not flag: # Если условие нарушено - А не подходит
            break
    if flag: # Если все проверки пройдены - выводим А
        print(A)
        break

Решение 2  (ручками):

Повторим, чего хотят враги:

(
||| Д ЕЛ (xy, A )
||||
||{ y ≤ 4095
  x ≤ 2⋅y+ 1
||||
|||| Д ЕЛ (y, 2)
|( ¬Д Е Л(y, 2)

Друзья хотят, чтобы выполнялось условие ¬Д Е Л(xy, A)  при всех хотелках врага. Соответственно, нужно понять, когда же произведение xy  не будет делиться на A  .

Исходя из хотелок врага мы понимаем, что будут подбираться такие xy  , чтобы они делились на A  . Это значит, что A  будет содержать внутри себя делители хотя бы одного набора xy  . Наша задача — предоставить такое A  , чтобы при любом произведении xy  там не было такого делителя, что и в A  .

Заметим, что y  — четные числа. Значит, в самых больших y  будет содержаться максимум 211  умноженное на что-то. Тогда, чтобы минимизировать A  возьмем      12
A = 2  (т.к. 2  в степени что-то будет явно меньше, чем числа большие в степени что-то).

Ответ: 4096

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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