Е15.35 ДЕЛ(A, 40) /\ (ДЕЛ(780, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(180, x)))

Администратор

5 лет назад

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

ДЕЛ(A, 40) /\ (ДЕЛ(780, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(180, x)))

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

Ответ:

СтатГрад Вариант ИН2010401 17.03.2021– задание №15

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

Решение:

for a in range(1, 1000):
    f = True
    for x in range(1, 1000):
        if (a%40==0 and (not(780%x==0) or ((a%x==0) or not(180%x==0))))==0:
            f = False
    if f:
        print(a)
        break

for a in range(1, 1000):

f = True

for x in range(1, 1000):

if (a%40==0 and (not(780%x==0) or ((a%x==0) or not(180%x==0))))==0:

f = False

if f:

print(a)

break

Ответ: 120