Часові булеві функції

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

за умови

a – задані границі значення дискретного часу;

– дискретна змінна;

t – задане значення часу.

Якщо функція реалізується у деякий заданий проміжок часу, то буде приймати значення 0 при і значення 1 при , при цьому .

поки час t менше деякого заданого значення, при якому функція повинна реалізуватися, тобто в цьому випадку функція не реалізується.

при досягненні t заданого значення, і в цьому випадку функція реалізується. Значення розроблюються спеціальною схемою датчика дискретного часу.