Explicit solution of the time evolution of the Wigner function