sequential logic的用法和样例：
例句
- Flip-flops are a key componemt and memory cells of sequential logic circuit.
触发器是构成时序逻辑电路的存储单元和核心部件。 - The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
