Законы математической логики

(М. Шагитов) Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 13 & 7 = 1101₂ & 0111₂ = 0101₂ = 5. Для какого наименьшего неотрицательного целого числа B формула

((x & 500 ≠ 0) ∧ (x & 200 = 0)) → ¬ (x & B = 0)

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