Решение модифицированной системы логических уравнений методом подстановки

Для решения СЛУ потребуется ввести правила работы с новыми операторами. Эти правила должны преследовать только одну цель: помогать различить циклы на те, которые необходимо разорвать и те, которые необходимо оставить. Фактически эти операторы должны определять значения тех свободных параметров , которые будут входить в общее решения уравнений. Рассмотрим эти правила:

1. - оператор действует на каждое из слагаемых дизъюнкции
2. - оператор действует на каждый из множителей конъюнкции
3. - оператор не меняет значение константы
4. - переменную собственной исправности элемента можно вынести из-под знака оператора
5. - оператор от переменной состояния равен переменной состояния
6. - если цикл замыкается через обычную связь, то его необходимо оставить
7. - если цикл замыкается через перемычку, то его необходимо разорвать.

Знаком обозначается то, что это правило применимо для любого из двух операторов и . Правила 1-5 отображают то свойство операторов, что они не должны влиять на получаемые частные решения. Правила 6 и 7 являются признаками сохранения или разрыва цикла. Рассмотрим применение правил на трех примерах:

Пример 1. Схема с замкнутым технологическим процессом

Пример 2. Схема с замкнутым перемычкой

Пример 3. Сложная комбинированная схема

Дата добавления: 2014-01-03