Задача #1109

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

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

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