The Mangoldt function and the non-trivial zeros of the Riemann zeta function

We prove a formula for the Mangoldt function which relates it to a sum over all the non-trivial zeros of the Riemann zeta function, in addition we analize a truncated version of it.