Системы управления электроприводов. Токмакова Л.И. - 31 стр.

      выражение
                                                X n = f 'n(x) + p' p" f "n(x)
     получается, если дополнительные элементы вводятся в условие
срабатывания и несрабатывания.
     Каждое слагаемое в ДНФ функции Х в данном периоде включения
после организации двух проверок дает определенную комбинацию сигналов
и их инверсий. Ни одна из этих комбинаций не должна встречаться в
отключающих периодах элемента. Если в отключающем периоде
появляется одна из этих комбинаций, то в эту комбинацию должен быть
введен еще хотя бы один дополнительный промежуточный элемент Р"'.
Состояния этого элемента должны быть различны при данной комбинации
во включающем и отключающем периодах.
     В качестве промежуточного элемента также желательно использовать
уже введенные в циклограмму промежуточные или выходные элементы,
если они удовлетворяют условиям применения этого промежуточного
элемента. Сигнал вводимого промежуточного элемента приписывается в
виде произведения к тому слагаемому, которое дает комбинацию,
встречающуюся во включающем и в отключающем периодах, состояние
этого элемента принимается таким, какое он имеет при данной комбинации
во включающем периоде.
     Таким образом, в результате третьей проверки общий вид структурной
формулы для исполнительного элемента Х в n- м периоде его включения
будет:
                                  X n = f 'n(x) f "n(x) p" ' ,
    если введен дополнительный элемент после третьей проверки;
                           Xn = f ' n(x) + p' f ' 'n(x) p' ' ' ,
    если введен дополнительный элемент из условия срабатывания после
первой проверки и во второе слагаемое по третьей проверки;
                            X n = f 'n(x) p" ' + p' f "n(x) ,
    если введен дополнительный элемент в условия срабатывания после
первой проверки и в первое слагаемое после третьей проверки.
    Для выражения вида

X n = f 'n(x) p" f "n(x) = f 'n(x) (p" + f "n(x) ) = f 'n(x) p" + f 'n(x) f "n(x)
      при           необходимости p"'                приписывается              или   в   виде
f 'n(x) p' 'p' ' ' или f 'n(x) f "n(x) p" ' .
      Для выражения вида
                  X n = f 'n(x) + p' p" f "n(x) = f 'n(x) + p' p" + p' f "n(x)