Е15.46 формула (ДЕЛ(x, 3) → ¬ДЕЛ(x, 2)) ∨ (x — A ≥ 4) тождественно истинна

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

3 года назад

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

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

(ДЕЛ(x, 3) → ¬ДЕЛ(x, 2)) ∨ (x — A ≥ 4)

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

Ответ:

Пробник ИМЦ СПб – задание №15

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

Решение:

Решение — Шаймарданов Карим Русланович

for a in range(1,500):
    f=True
    for x in range(1,500):
        if((not(x%3==0)or not(x%2==0))or(x-a>=4))==0:
           f=False
    if f==True:
           print(a)

for a in range(1,500):

f=True

for x in range(1,500):

if((not(x%3==0)or not(x%2==0))or(x-a>=4))==0:

f=False

if f==True:

print(a)

Ответ: 2