Ответ:

По определению логарифма из равенства \(2^x=7\) следует \(x=\log_2 7\).

Ответ: \(x=\log_2 7\).