Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
(ДЕЛ(x , 2) → ¬ДЕЛ(x , 3))∨(x + A ≥ 80)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Решение:
Решение на Python:
#Напишем функцию, которая будет возвращать наше логическое выражение:
def f(x, A) :
return ((x % 2 == 0) <= (x % 3 != 0)) or (x + A >= 80)
for A in range (1, 1000): #перебираем все Al
#с помощью команды all мы можем проверить, истинно ли выражение при всех х в заданном диапазоне.
if all(f(x, A) for x in range (1, 1000)):
print(A)
breakОтвет: 74
Ответ:
74