Mirá yo lo pensé un poco distinto, de repente es un poco mas rebuscado pero como no entendi mucho la solución hice así:
8 estados
ta - todas las luces apagadas
te - " " " encendidas
re1 - rojo encendido 1 segundo
re2 - " " 2 "
ae1 - azul " 1 "
ae2 - " " 2 "
ve1 - verde " 1 "
ve2 - " " 2 "
De todas maneras para codificar esos estados vas a necesitar 3 FF, así que por lo largo del ejercicio va a ser lo mismo que la solucion de ellos, por ejemplo hay que hacer 9 Karnaugh de 5 variables. Por eso yo no lo terminé, sinceramente me parecio excesivamente largo para un examen