Построение сокращенной днф в классе дизъюнктивных нормальных форм
Таблица 30
|
№ |
x1 |
x2 |
x3 |
x4 |
x1x2 |
x1x3 |
x1x4 |
x2x3 |
x2x4 |
x3x4 |
x1x2x3 |
x1x2x4 |
x1x3x4 |
x2x3x4 |
x1x2x3x4 |
f |
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
|
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
|
2 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
2 |
1 |
0 |
2 |
2 |
2 |
1 |
|
3 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
3 |
1 |
1 |
3 |
3 |
3 |
1 |
|
4 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
2 |
2 |
0 |
2 |
2 |
0 |
4 |
4 |
0 |
|
5 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
2 |
3 |
1 |
2 |
3 |
1 |
5 |
5 |
1 |
|
6 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
3 |
2 |
2 |
3 |
2 |
2 |
6 |
6 |
0 |
|
7 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
3 |
3 |
3 |
3 |
3 |
3 |
7 |
7 |
0 |
|
8 |
1 |
0 |
0 |
0 |
2 |
2 |
2 |
0 |
0 |
0 |
4 |
4 |
4 |
0 |
8 |
1 |
|
9 |
1 |
0 |
0 |
1 |
2 |
2 |
3 |
0 |
1 |
1 |
4 |
5 |
5 |
1 |
9 |
0 |
|
10 |
1 |
0 |
1 |
0 |
2 |
3 |
2 |
1 |
0 |
2 |
5 |
4 |
6 |
2 |
10 |
1 |
|
11 |
1 |
0 |
1 |
1 |
2 |
3 |
3 |
1 |
1 |
3 |
5 |
5 |
7 |
3 |
11 |
0 |
|
12 |
1 |
1 |
0 |
0 |
3 |
2 |
2 |
2 |
2 |
0 |
6 |
6 |
4 |
4 |
12 |
1 |
|
13 |
1 |
1 |
0 |
1 |
3 |
2 |
3 |
2 |
3 |
1 |
6 |
7 |
5 |
5 |
13 |
1 |
|
14 |
1 |
1 |
1 |
0 |
3 |
3 |
2 |
3 |
2 |
2 |
7 |
6 |
6 |
6 |
14 |
1 |
|
15 |
1 |
1 |
1 |
1 |
3 |
3 |
3 |
3 |
3 |
3 |
7 |
7 |
7 |
7 |
15 |
1 |
Шаг 3. В каждом столбце из сохранившихся чисел вычеркиваем те, равные которым уже вычеркнуты в этом столбце на предыдущем шаге (табл. 31):
предыдущаяследующая