Описание промышленного контроллера FC-20 (Фирмы BECK), страница 12

По приведенной таблице можно составить логические формулы для каждой команды. При этом в каждую формулу входят все датчики, однако без инверсии входят только те, которым в таблице соответствует единица, датчики которым в таблице соответствует логический ноль входят в формулу для соответствующей команды с инверсией.

Так как используются импульсные распределители, действие которых аналогично триггеру, то на распределителе запоминается состояние датчика, до того момента пока не сработает датчик, переключающий распределитель в противоположное состояние. Отсюда следствие:

                                                                      

Это следствие приводит к упрощению приведенных выше логических формул:

Так как  .

Однако и эти формулы допускают упрощение т.к. выполнение команды предыдущего шага изменяет лишь состояние датчиков, на пневмоцилиндры которых было подана команда.  

Например, на первом шаге штоки обоих пневмоцилиндров находятся во втянутом состоянии, при этом по формулам – первый выдвигается, второй задвигается, но так как второй уже задвинут, то происходит лишь выдвижение первого. После того как шток первого выдвинулся, срабатывает датчик a1 и происходит выдвижение штока второго цилиндра, срабатывает датчик b1 и происходит втягивание штока первого пневмоцилиндра и когда срабатывает датчик a0, подается команда на втягивание штока второго цилиндра. После завершения выполнения последней команды система оказывается в первоначальном состоянии и цикл повторяется.

При программировании циклограмм, в которых присутствуют одинаковые состояния датчиков, соответствующие различным командам можно воспользоваться флагами. В таких случаях флаги будут играть роль фиктивных пневмоцилиндров.

Например, на приведенной циклограмме присутствуют «одинаковые» состояния 2 и 4.

После добавления флага одинаковые состояния устранены см. следующий рисунок.

Рис. . Модифицированная циклограмма без одинаковых состояний.

Теперь для этой циклограммы необходимо составить таблицу состояний

Датчики
Номер шага	1	2	3	4	5
a0	1	0	0	0	1
a1	0	1	1	1	0
b0	1	1	0	1	1
b1	0	0	1	0	0
F1	0	0	0	1	1
Команды
A+	1	0	0	0	0
A-	0	0	0	1	0
B+	0	1	0	0	0
B-	0	0	1	0	0
F+	0	0	1	0	0
F-	0	0	0	0	1