"Si la señal HabN sube a 1 una vez que comenzó el pulso en la salida Out se ignorará hasta tanto se detecte un nuevo cambio de 0 a 1 en la entrada Botón y se completará el pulso en curso."
Una vez que comenzó el pulso en Out, se va ignorar lo que suceda con HabN, una vez que empezó el pulso no te importa cuanto vale HabN, por eso pones X en HabN.
Lo que te importa es cuanto vale botón, si vale 0, ya estas pronto para poder detectar otro cambio, por eso lo mandas a q0, y si botón vale 1, tenes que ir a un estado donde se espere la bajada del botón, q2 en este caso.