restore disks

My son got a virus or it says worm on his laptop and i was wondering if i could just put his restore disks in and it would work or how could i get rid of the worm or virus. Would I need to reformat it? please help. He is running windows xp home edition on his laptop.