Логические условия.

Логические условия описываются логическими уравнениями, которые при Аi=1 устанавливают возможность безаварийно и безопасно начинать очередной такт. В логические условия входят сигналы Х, характеризующие состояния выполнения предыдущих операций, состояние смежных агрегатов, которые не мешают выполнению очередного такта, другие блокировки.

Эти сигналы принимают два значения:

xj=1, когда состояние контролируемого им устройства соответствует определенным заданным условиям, характеризующим нормальное состояние установки;

xj=0, в противном случае.

Логические условия для формирования очередной управляющей команды Аi (для выполнения i – ого такта) определяются конъюнкцией трех составляющих: Ра, Рi, Кi.

Аi0 Ù Рi Ù Ki ,

(если Аi =1, команда для начала i – ого такта подается;

Аi =0, команда не подается).