There is a problem with the state diagram I posted. I thought that the 74109 was negative-edge triggered for some reason, in fact it is positive edge triggered. So the inverting …