Question

Для какого наибольшего целого неотрицательного числа А выражение
(x · y < 100) ∨ (y ≥ A) ∨ (x > A)
тождественно истинно, т. е. принимает значение 1 при любых целых неотрицательных x и y?

Хочу создать код на Python, который даст верный ответ

Answer 1

Можно проанализировать выражение, и заметить, что ответом служит корень квадратный из 100 (10), но как я понял, тебе нужно без всяких замарочек

Троеточия за место табов

def f(x, y, A):

... return (x * y < 100) or (y >= A) or (x > A)

def F(A):

... for x in range(200):

... ... for y in range(200):

... ... ... if f(x, y, A) == 0:

... ... ... ... return False

... return True

for i in range(200):

... if F(i):

... ... print(i)