标签：已知一个时序逻辑电路有个状态，那么至少应该选择个触发器才能实现该电路