Обозначим через m &, n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 13 &, 7 = 11012 &, 01112 = 01012 = 5. Для какого наименьшего неотрицательного целого числа B формула
((x &, 500 ≠ 0) ∧ (x &, 200 = 0)) → ¬ (x &, B = 0)
тождественно истинна (т.е. принимает значение 1) при любом неотрицательном целом значении переменной х?



