Hm... scheint ja viele Möglichkeiten zu geben; hier eine
noch nicht erwähnte, alle Umformungen sind äquivalent::
(log2(x))^2 - 7*log2(x) + 12 = 0
(log2(x))^2 - 7*log2(x) + (7/2)^2 - 49/4 + 12 = 0
(log2(x) - 7/2)^2 - (1/2)^2 = 0
(log2(x) - 7/2 - 1/2) * (log2(x) - 7/2 + 1/2) = 0
(log2(x) - 4) * (log2(x) - 3) = 0
log2(x) = 4 oder log2(x) = 3
x = 2^4 oder x = 2^3
x = 16 oder x = 8.