Обозначим через ДЕЛ(,
) утверждение «натуральное число
делится без остатка на натуральное число
». Для какого наименьшего натурального числа
формула
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной )?
Решение руками:
Введем обозначения:
Таким образом истиным для всех должно быть выражение
. Упростим это выражение, раскрыв импликацию:
.
Из этой формулы видно, что множество должно перекрыть множество, которое не перекрыто множеством
. Множество
– это множество всех чисел, которые делятся одновременно на 19 и 15. Поэтому чтобы найти наименьшее
необходимо найти наименьшее общее кратное чисел 15 и 19 – это 285.
Решение программой:
for a in range(1, 300):
f = 0
for x in range(1, 500):
if (((x % 19 != 0) or (x % 15 != 0)) <= (x % a != 0)) == False:
f = 1
break
if f == 0:
print(a)
Получаем ответ: