Algoritmos e Estrutura de Dados (TI)

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: