|0 se y = 0 (x * y) = |(x * 2) * y' se y = 2 * y' (se o y é par, y' = y/2 ) |(x * 2) * y' + x se y = 2 * y' +1 (se o y é impar, y' = (y-1)/2) Alguém sabe fazer a recursividade desta...