Таблица состояний

 
 
Выходной сигнал Y формируется в соответствии с таблицей состояний:
                       
FUNC2_ON
FUNC1_N
FUNC2_N
Y
FALSE
>= 2
*
FUNC1(X)
TRUE
*
0
X
TRUE
*
1
FUNC2[1].Y
TRUE
*
>= 2
FUNC2(X)