[برق و الکترونیک] حساب بولی جبر بولی که برای در بر گرفتن زمان اصلاح شده و امکان محاسباتی نظیر ( الف) حالتها و وقایع ؛ ( ب) عملگرهایی نظیر « بعد»، « در حال»، « رویداد»، « تأخیر»، و «قبل از » ؛ ( ج) گروههایی که اعضای آن با زمان تغییر می کنند؛ (د) عناصر مداری که حالت قطع /وصل آنها گاهگاه تغییر می کند نظیر خطوط تأخیر، فلیپ فلاپها، مدارهای ترکیبی ؛ (ه)توابع پله ای و ترکیبهای آنها را فراهم می کند.
