Considere a seguinte máquina estados.

Admita que antes de ser inicializada todas as entradas e saídas têm o valor False ou 0.

Pretende-se contar impulsos da entrada B (0→1) utilizando o contador C. Os impulsos devem ser contados apenas quando a entrada A estiver ativa (True). Sempre que A retornar a False, C deve tomar o valor 0.

Tem à sua disposição uma solução para realizar a respetiva implementação. Indique se a solução está correta.