Question

Решите на пайтон Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 11102&01012 = 01002 = 4.

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

x&25 ≠ 0 → (x&17 = 0 → x&А ≠ 0)

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

Answer 1

def f(x, a):

   return (x & 25 != 0) <= ((x & 17 == 0) <= (x & a != 0))

for a in range(1000):

   ok = True

   for x in range(1000):

       if not f(x, a):

           ok = False

           break

   if ok:

       print(a)

       break

ответ: 8