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