Para o flip flop do tipo JK (FF-JK), considere o diagrama de transição de estados em que a representação de cada transição (seta) é rotulada por uma condição de produtório, na qual X codifi ca uma entrada irrelevante (don’t care). A alternativa que representa o completo diagrama de transição de estados deste FF-JK pode ser verificada na alternativa: