• 正體: 時序邏輯[電子計算機]