Задание 15. Информатика. ЕГЭ. Поляков-2247

$$(x \vdots A \land \overline{x \vdots 16}) \to x \vdots 23 = \overline{x \vdots A} \lor x \vdots 16 \lor x \vdots 23$$ Получаем, что минимальное \(A,\) при котором это выражение тождественно истинно, равно \(16.\)

Python

def div(n, m):
    return n % m == 0

def expr(x, A):
    return (div(x, A) and (not div(x, 16))) <= div(x, 23)

for A in range(1, 200):
    if all(expr(x, A) for x in range(1, 1000)):
        print(A)
        break

Ответ: \(16\)