Разработка диаграммы состояния.
Диаграмма состояния отражает в табличной форме значения функции в зависимости от значений аргументов. Максимальное число значений булевой функции определяется из условия:
где n – число аргументов в уравнении.
Поэтому полная диаграмма для нашего случая имеет вид:
Таблица 2.
№№ вар. |
X1 |
X2 |
X3 |
X4 |
Y |
Примеч. |
1 |
0 |
0 |
0 |
0 |
0 |
|
2 |
1 |
0 |
0 |
0 |
1 |
3 |
3 |
0 |
1 |
0 |
0 |
1 |
1 |
4 |
1 |
1 |
0 |
0 |
1 |
3 |
5 |
0 |
0 |
1 |
0 |
0 |
|
6 |
1 |
0 |
1 |
0 |
1 |
2 |
7 |
0 |
1 |
1 |
0 |
1 |
1 |
8 |
1 |
1 |
1 |
0 |
1 |
2, 3 |
9 |
0 |
0 |
0 |
1 |
0 |
|
10 |
1 |
0 |
0 |
1 |
0 |
|
11 |
0 |
1 |
0 |
1 |
0 |
|
12 |
1 |
1 |
0 |
1 |
0 |
|
13 |
0 |
0 |
1 |
1 |
0 |
|
14 |
1 |
0 |
1 |
1 |
1 |
2 |
15 |
0 |
1 |
1 |
1 |
0 |
|
16 |
1 |
1 |
1 |
1 |
1 |
2 |
В графе «Примечание» таблицы 2 указаны порядковые номера членов логического уравнения сформировавших значения функции равных логической «1».
Как видно из таблицы за счет наложения слагаемых уравнения число возможных вариантов сокращается и окончательный вариант диаграммы состояния примет вид, представленный в таблице 3.
Таблица 3.
№№ вар. |
X1 |
X2 |
X3 |
X4 |
Y |
Примеч. |
1 |
0 |
0 |
0 |
0 |
0 |
|
2 |
1 |
* |
* |
0 |
1 |
3 |
3 |
0 |
1 |
* |
0 |
1 |
1 |
5 |
0 |
0 |
1 |
0 |
0 |
|
6 |
1 |
* |
1 |
* |
1 |
2 |
9 |
0 |
0 |
0 |
1 |
0 |
|
10 |
1 |
0 |
0 |
1 |
0 |
|
11 |
0 |
1 |
0 |
1 |
0 |
|
12 |
1 |
1 |
0 |
1 |
0 |
|
13 |
0 |
0 |
1 |
1 |
0 |
|
15 |
0 |
1 |
1 |
1 |
0 |
|
Знак «*» – означает безразличное состояние аргумента.
В таком виде диаграмма является эталоном при проверке работы электронной схемы.