Решение модифицированной системы логических уравнений методом подстановки
Для решения СЛУ потребуется ввести правила работы с новыми операторами. Эти правила должны преследовать только одну цель: помогать различить циклы на те, которые необходимо разорвать и те, которые необходимо оставить. Фактически эти операторы должны определять значения тех свободных параметров 
, которые будут входить в общее решения уравнений. Рассмотрим эти правила:
- оператор действует на каждое из слагаемых дизъюнкции
- оператор действует на каждый из множителей конъюнкции
- оператор не меняет значение константы
- переменную собственной исправности элемента можно вынести из-под знака оператора
- оператор от переменной состояния равен переменной состояния
- если цикл замыкается через обычную связь, то его необходимо оставить
- если цикл замыкается через перемычку, то его необходимо разорвать.
Знаком 
обозначается то, что это правило применимо для любого из двух операторов 
и 
. Правила 1-5 отображают то свойство операторов, что они не должны влиять на получаемые частные решения. Правила 6 и 7 являются признаками сохранения или разрыва цикла. Рассмотрим применение правил на трех примерах:
Пример 1. Схема с замкнутым технологическим процессом
Пример 2. Схема с замкнутым перемычкой
Пример 3. Сложная комбинированная схема
