Вираз, що реалізує функцію виду
називається часовою булевою функцією (ЧБФ). (
– логічні змінні; час t приймає дискретні значення.) Для реалізації такої функції уводиться
:
за умови 
a – задані границі значення дискретного часу;
– дискретна змінна;
t – задане значення часу.
Якщо функція реалізується у деякий заданий проміжок часу, то
буде приймати значення 0 при
і значення 1 при
, при цьому
.
поки час t менше деякого заданого значення, при якому функція повинна реалізуватися, тобто в цьому випадку функція не реалізується.
при досягненні t заданого значення, і в цьому випадку функція реалізується. Значення
розроблюються спеціальною схемою датчика дискретного часу.