自动洗衣机

目的：把启动按钮映射成程序使能标志。

条件 → 动作：按下 Start button → Washmachine Program=1；松开立即为 0。

为什么：所有动作都以它为总条件，所以松开按钮可以中断流程（相当于"急停"）。这是一个简化写法；实际洗衣机通常会用自锁或状态机。

注意：没有自锁，必须按住按钮程序才会走完。

逻辑：Washmachine Program = Start button

目的：用一串"上一步已结束"的条件，让五台设备依次动作。

条件 → 动作：

• Fill valve = TP(IN = Program, 10s)：程序一开始就进水 10 秒；
• Agitator motor = TP(IN = Program AND NOT Fill valve, 30s)：进水结束后洗涤 30 秒；
• Drain valve/pump = TP(IN = Program AND NOT Fill valve AND NOT Agitator motor, 10s)：洗涤结束后排水 10 秒；
• Spin motor = TP(IN = Program AND NOT Fill valve AND NOT Agitator motor AND NOT Drain valve/pump, 10s)：排水结束后脱水 10 秒；
• Buzzer = TP(IN = Program AND NOT Fill valve AND NOT Agitator motor AND NOT Drain valve/pump AND NOT Spin motor, 10s)：脱水结束后响 10 秒。

为什么：每一步的条件都是"总使能 + 前面所有步骤都已结束"。TP 输出结束的瞬间，下一步的条件自然成立，于是自动接上——不需要状态变量，也不需要步序编号。

注意：这种"链式顺序"要求每一步完全结束才开始下一步；如果两个步骤需要重叠运行，就不能直接复用这个结构。

逻辑（节选）： Fill valve = TP(IN = Washmachine Program, PT = T#10s).Q

Agitator motor = TP(IN = Washmachine Program AND NOT Fill valve, PT = T#30s).Q

Drain valve/pump = TP(IN = Washmachine Program AND NOT Fill valve AND NOT Agitator motor, PT = T#10s).Q