практические работы / 4вариант 7
.docxДано:
|
1 |
2 |
3 |
4 |
|
X1X2 |
00 |
11 |
00 |
10 |
|
Z1Z2 |
00 |
11 |
10 |
10 |
|
|
1 |
5 |
6 |
7 |
|
X1X2 |
00 |
01 |
00 |
11 |
|
Z1Z2 |
00 |
01 |
01 |
10 |
|
|
1 |
5 |
6 |
8 |
9 |
X1X2 |
00 |
01 |
00 |
10 |
11 |
Z1Z2 |
00 |
01 |
01 |
11 |
01 |
Таблица переходов к минимизации :
S/x1x2 |
00 |
01 |
10 |
11 |
1 |
(1),00 |
5,01 |
~ |
2,11 |
2 |
3,10 |
~ |
~ |
(2),11 |
3 |
(3),10 |
~ |
4,10 |
~ |
4 |
1,00 |
~ |
(4),10 |
~ |
5 |
6,01 |
(5),01 |
~ |
~ |
6 |
(6),01 |
~ |
8,11 |
7,10 |
7 |
1,00 |
~ |
~ |
(7),10 |
8 |
~ |
~ |
(8),11 |
9,01 |
9 |
1,00 |
~ |
~ |
(9),01 |
Нахождение пересечений по столбцам :
E11={1,4,7,8,9}
E52={1,2,3,4,5,6,7,8,9}
E43={1,2,3,4,5,7,8,9}
E24={1,2,3,4,5}
E31={2,3,8}
E83={1,2,5,6,7,8,9}
E74={3,4,5,6,7}
E61={5,6,8} E94={3,4,5,8,9}
3*1*2*3=18 множеств
E1542={1,4} |
E3542={2,3} |
E6542={5} - |
E1547={4,7} |
E3547={3} - |
E6547={5} - |
E1549={4,9} |
E3549={3} - |
E6549={5} - |
E1582={1} - |
E3582={2} - |
E6582={5} - |
E1587={7} - |
E3587={0} - |
E6587={5,6} |
E1589={8,9} |
E3589={8} - |
E6589={5,8} |
Выбор максимальных подмножеств совместимых строк и составление таблицы покрытий:
E1542={1,4} |
A |
|
S/E |
A |
B |
C |
D |
E |
F |
G |
E1547={4,7} |
B |
1 |
+ |
|
|
|
|
|
|
|
E1549={4,9} |
C |
2 |
|
|
|
|
+ |
|
|
|
E1589={8,9} |
D |
3 |
|
|
|
|
+ |
|
|
|
E3542={2,3} |
E |
4 |
+ |
+ |
+ |
|
|
|
|
|
E6587={5,6} |
F |
5 |
|
|
|
|
|
+ |
+ |
|
E6589={5,8} |
G |
6 |
|
|
|
|
|
+ |
|
|
|
|
7 |
|
+ |
|
|
|
|
|
|
|
|
8 |
|
|
+ |
|
|
|
+ |
|
|
|
9 |
|
+ |
+ |
|
|
|
|
Решение задачи покрытия:
Q=AEE(AvBvC)(FvG)FB(DvG)(CvD)=AEFB(DvCG)=AEFBDvAEFBCG
W={1,4}{2,3}{5,6}{4,7}{8,9}
W|={1,4}{2,3}{5,6}{7}{8,9}
Минимизированная таблица переходов:
|
S/X |
00 |
01 |
10 |
11 |
{1,4} |
1 |
(1),00 |
5,01 |
(4),10 |
2,11 |
{2,3} |
2 |
(3),10 |
~ |
4,10 |
(2),11 |
{5,6} |
3 |
(6),01 |
(5),01 |
8,11 |
7,10 |
{7} |
4 |
1,00 |
~ |
~ |
(7),10 |
{8,9} |
5 |
1,00 |
~ |
~ |
(9),01 |