Рас­смот­рим такие x, при ко­то­рых скоб­ка (ДЕЛ(x, 15) → ¬ДЕЛ(x, 20)) будет лож­ной. Это x, ко­то­рые од­но­вре­мен­но де­лят­ся без остат­ка на 15 и на 20. Наи­мень­шее общее крат­ное этих чисел равно 60.

Сле­до­ва­тель­но, для х  =  60 вы­ра­же­ние ¬ДЕЛ(x, А) долж­но быть лож­ным, то есть число 60 долж­но де­лить­ся на А, также на A долж­но де­лить­ся число 90. Наи­боль­шим таким А яв­ля­ет­ся число 30. Это и будет ответ.

Ответ: 30.

При­ведём дру­гое ре­ше­ние на языке Python.

Рас­смот­рим такие x, при ко­то­рых скоб­ка (ДЕЛ(x, 18) → ¬ДЕЛ(x, 24)) будет лож­ной. Это x, ко­то­рые од­но­вре­мен­но де­лят­ся без остат­ка на 18 и на 24. Наи­мень­шее общее крат­ное этих чисел равно 72.

Сле­до­ва­тель­но, для х  =  72 вы­ра­же­ние ¬ДЕЛ(x, А) долж­но быть лож­ным, то есть число 72 долж­но де­лить­ся на А, также на A долж­но де­лить­ся число 120. Наи­боль­шим таким А яв­ля­ет­ся число 24. Это и будет ответ.

Ответ: 24.

При­ведём дру­гое ре­ше­ние на языке Python.