Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Для какого наибольшего неотрицательного целого числа А формула
(x & 52=4)→((x & 26=2)→(x & A=6))
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной х)?
Решение:
Решение на Python:
def f(A, x):
return (x & 52 == 4) <= ((x & 26 == 2) <= (x & A == 6))
for A in range(0, 2000):
if all(f(A, x) for x in range(0, 5000)):
print(A)
#берем последний выводОтвет: 62
Ответ:
62