Ответ:

Ищем такое минимальное число разрядов n, чтобы выполнялось неравенство \(2^n\ge512\).

Так как \(512=2^9\), достаточно 9 двоичных разрядов.

Ответ: 9.