se parte de la funcion, Q (n+1)=Q'(n) * J + Q(n) * K'.
entonces cuando Q(n)= 0, K es X porque no importa su valor. Idem con Q(n)= 1 y J.
esto es porque el termino se anula en la funcion
Q(n) | J | K | Q(n+1)
0 | 0 | X | 0
0 | 1 | X | 1
1 | X | 0 | 0
1 | X | 1 | 1
Disculpa que no pudiera hacer una tabla prolija.