Можно, например, так: в цикле проверять, если остаток от деления n на 2 равен 0, то присвоить n значение n/2 и увеличить счётчик цикла на 1, иначе, если остаток равен 1 - выход из цикла. Если в итоге получилось, что n=1, то вначале оно было степенью двойки, если другое нечётное - не было.