Estimado,
1) La entrada inc aparece en el circuito. Lo 'raro' de la solución, es que no utiliza completamente la metodología del curso (porque no se pedía), se utiliza la metodología para construir el circuito, y luego se agrega la entrada inc por fuera, actuando como enable (si inc = 1 se toma el siguiente valor del contador, si inc = 0 se mantiene el estado actual y por tanto la salida)
2) En los circuitos secuenciales que vemos en le curso, el reset es siempre asíncrono a menos que esté explícitamente dicho en la letra. Por lo tanto, no se modela y se conecta a las entradas preset/clear del flip flop, de modo que al activarse el reset, el circuito inmediatamente transicione a su estado inicial.
Saludos,
Federico