Problema basado en pestillos (circuitos secuenciales)

Estoy tratando de resolver la siguiente pregunta:

Quierosaber:

1. Silatabladeverdadpara \ $ Q_ {n + 1} \ $ y \ $ \ bar Q_ {n +1} \ $ es correcto.
2. He descubierto las condiciones de reinicio y \ $ Q_ {n} \ $ . Sin embargo, veo dos conjuntos de entradas ( \ $ X = 0, \, Y = 0 \ $ y \ $ X = 0, \, Y = 1 \ $ ) para establecer la condición.
3. ¿Cuál es la condición de entrada no válida?