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