Рассмотрим
еще одно задание 15 типа Д
Для какого наибольшего натурального числа А формула
¬ДЕЛ(x, А) → (ДЕЛ(x, 6) → ¬ДЕЛ(x, 4))
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
Сложность в том, что нет явной подсказки относительно диапазонов проверки по x и A (возможно, кроме догадки 6*4=24)
Формула составлена по шаблону
¬K → ( L → ¬M ) = K \/ (¬L \/ ¬M) = K \/ ¬( L /\ M)
В нашем случае получаем
ДЕЛ(x, А) \/
¬(ДЕЛ(x, 6) /\ ДЕЛ(x, 4)) = ДЕЛ(x, А) \/
¬ДЕЛ(x, НОК(6,4))ДЕЛ(x, А) \/
¬ДЕЛ(x, 12)
Нетрудно видеть, что максимальное значение для A равно 12
Решение несложное, но можно допустить простую ошибку и, например, взять значение 24=6*4
"Программное" решение избавить нас от этого. Для переборов можно взять "широкие" диапазоны и получить небольшое значение А.