Deseja-se construir um contador digital binário de dois bits com um sinal de controle Z, onde a contagem é crescente quando Z = 1 e decrescente quando Z = 0, conforme ilustrado no diagrama de estados.

Para implementar esse contador, foram empregados dois flip-flops tipo D, conforme mostrado na figura abaixo, onde Q_X representa o bit mais significativo, e Q_Y, o menos significativo.

Assim, o circuito combinacional a ser empregado para produzir o sinal de comando D_X deve realizar a seguinte função lógica: