I think debounce is not necessary since he wants to see the edge from 0->1 and toggle the output. Then do nothing with 1->0 until a new 0->1 edge comes.

Ioannis