Exchange effects in the Wigner-function approach