Задание №15 — Сложное логическое выражение

Решение:

Конъюнкция $(x \lt A) \land (y \lt A) \land (x \cdot y \gt 601)$ истинна, только когда истинны все три множителя. Тождественная ложность означает, что не существует целых положительных $x, y$, для которых одновременно

$x \lt A$, $y \lt A$ и $x \cdot y \gt 601$.

Для целых $x \lt A$, $y \lt A$ верно $x \le A - 1$ и $y \le A - 1$, поэтому наибольшее достижимое произведение равно $(A - 1)^{2}$. Такой пары нет тогда и только тогда, когда

$$(A - 1)^{2} \le 601.$$

Так как $24^{2} = 576 \le 601$, а $25^{2} = 625 \gt 601$, получаем $A - 1 \le 24$, то есть $A \le 25$. При $A = 25$ максимум произведения равен $24 \cdot 24 = 576$, условие $x \cdot y \gt 601$ невыполнимо и конъюнкция тождественно ложна; при $A = 26$ пара $x = y = 25$ даёт $625 \gt 601$ и делает выражение истинным.

best = 0
for A in range(0, 100):
    if not any(x < A and y < A and x * y > 601
               for x in range(1, A + 1) for y in range(1, A + 1)):
        best = A
print(best)   # 25

Ответ: 25