El código de la solución corresponde al caso "copie en el registro PC el contenido del registro AC solamente
si el registro F no es cero."
El código correcto para el ejercicio como está planteado sería:
alu := f; if z then goto 0 ; Si F = 0 salto a 0
pc := ac; goto 0 // Seteo el valor de pc y salto a 0
Saludos,
Gustavo