Detailed Jarzynski equality applied to a logically irreversible procedure