Логические состояния элементов модели следующие:

LS – логический переключатель установлен,

LR - логические переключатель сброшен,

FU – прибор используется,

FNU - прибор не используется,

SF - МУ заполнено,

SNF – МУ не заполнено,

SE – МУ пусто,

SNE – МУ не пусто.

Условия отношения мржпу численными величинами: G - больше, L – меньше, E - равно, GE – больше или равно, LE – меньше или равно, NE – не равно.

Логические комбинации включают операции "И" (*) и "ИЛИ" ( + ). Эти операции равноправны и выполняются в порядке их написания слева направо. Для изменения порядка попользуются круглые скобки.