Минимизация системы управления
|
Выходной сигнал |
Входные сигналы |
Фактические состояния |
Относительные состояния |
Неисклю-чаемые сигналы | ||||||||||||||||
|
Обяза- тель-ные |
Запрещенные (противопоставленные) |
Обяза- тель-ные |
Запрещенные (противопоставленные) | |||||||||||||||||
|
N |
N |
N |
N |
N |
N |
N |
|
|
M |
M |
M |
M |
M |
M |
M |
|
|
ΣM | ||
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
Выходной сигнал |
Входные сигналы |
Фактические состояния |
Относительные состояния |
Неисклю-чаемые сигналы | ||||||||||||||||
|
Обяза- тель-ные |
Запрещенные (противопоставленные) |
Обяза- тель-ные |
Запрещенные (противопоставленные) | |||||||||||||||||
|
N |
N |
N |
N |
N |
N |
N |
|
|
M |
M |
M |
M |
M |
M |
M |
|
|
ΣM | ||
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| ||||||||||||||||||||
|
|
N |
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
ΣM | |
|
f |
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
x5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |