Задания
Версия для печати и копирования в MS Word
Тип 15 № 33187
i

Обо­зна­чим через ДЕЛ(n, m) утвер­жде­ние «на­ту­раль­ное число n де­лит­ся без остат­ка на на­ту­раль­ное число m».

Для ка­ко­го наи­боль­ше­го на­ту­раль­но­го числа А фор­му­ла

ДЕЛ(90, A) ∧ (¬ДЕЛ(x, А) → (ДЕЛ(x, 15) → ¬ДЕЛ(x, 20)))

тож­де­ствен­но ис­тин­на (то есть при­ни­ма­ет зна­че­ние 1 при любом на­ту­раль­ном зна­че­нии пе­ре­мен­ной x)?

Спрятать решение

Ре­ше­ние.

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

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

 

Ответ: 30.

 

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

for a in range(100, 0, -1):

k = 0

for x in range(1, 1000):

if (90 % a == 0) and ((x % a != 0) <= ((x % 15 == 0) <= (x % 20 != 0))):

k += 1

if k == 999:

print(a)

break


Аналоги к заданию № 33187: 33485 Все

Раздел кодификатора ФИПИ: 1.5.1 Вы­ска­зы­ва­ния, ло­ги­че­ские опе­ра­ции, кван­то­ры, ис­тин­ность вы­ска­зы­ва­ния