(1) 4 Rakahs fardh.
(2) 2 Rakahs sunnah.
(3) 3 Rakahs witr.
After I have performed these prayers, I have slept and when I get up it is tahajjud time after I praying tahajjud. Should I pray 3 rakahs witr or not?
بسم الله الرحمن الرحيم
Then, you shall only offer tahajjud salah. You need not repeat witr salah. Witr is offered only once during one night. It is not lawful to offer it twice. It is mentioned in hadith:
لا وتران فى ليلة
It is not lawful to offer witr twice in a single night.
Allah knows Best!
Darul Uloom Deoband
This answer was collected from the official ifta website of Darul Uloom Deoband in India.