Обозначим утверждение «х делится на А без остатка», как ДЕЛ(х, А). Сколько целых значений параметра А таковы, что выражение
ДЕЛ(А, 25) /
(ДЕЛ(х, 24) /
ДЕЛ(х, 75) → ДЕЛ(х, А))
истинно, т.е. принимает значение 1 при любом целом значении переменной х.