Алгоритм решения задания 15. Часть 2
Учимся решать 15 задания второго типа
Читать
Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14 & 5 = 11102 & 01012 = 01002 = 4.
Для какого наименьшего неотрицательного целого числа А логическое выражение ((x & 52 ≠ 0) ∧ (x & 48 = 0)) → ¬(x & А = 0) истинно (т.е. принимает значение 1) при любом неотрицательном целом значении переменной х?
Правильный ответ:
4
def f(x, A):
return ((x & 52 != 0) and (x & 48 == 0)) <= (not (x & A == 0))
for A in range(1, 10):
if all(f(x, A) for x in range(1, 10)):
print(A)
break
