Алгоритм решения задания 15. Часть 3
Учимся решать 15 задания третьего типа
Читать
Для какого наименьшего целого неотрицательного числа A выражение (x < A) ∧ (y < 3A) ∨ (2x + y > 128) тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?
Правильный ответ:
64
def f(x, y, A):
return (x < A) and (y < 3 * A) or (2 * x + y > 128)
for A in range(0, 100):
if all(f(x, y, A) for x in range(1, 100) for y in range(1, 100)):
print(A)
break
