Code: Alles auswählen
0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
3 0 0 1 1 1
4 0 1 0 0 1
5 0 1 0 1 0
6 0 1 1 0 0
7 0 1 1 1 1
8 1 0 0 0 1
9 1 0 0 1 0
10 1 0 1 0 1
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 0
14 1 1 1 0 1
15 1 1 1 1 0
0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
3 0 0 1 1 1
4 0 1 0 0 1
7 0 1 1 1 1
8 1 0 0 0 1
10 1 0 1 0 1
11 1 0 1 1 1
14 1 1 1 0 1
Gruppe 0:
0 0 0 0 0 1
Gruppe 1:
1 0 0 0 1 1
2 0 0 1 0 1
4 0 1 0 0 1
8 1 0 0 0 1
Gruppe 2:
3 0 0 1 1 1
10 1 0 1 0 1
Gruppe 3:
7 0 1 1 1 1
11 1 0 1 1 1
14 1 1 1 0 1
0;1 0 0 0 -
0;2 0 0 - 0
0;4 0 - 0 0
0;8 - 0 0 0
1;3 0 0 - 1
2;3 0 0 1 -
8;10 1 0 - 0
3;7 0 - 1 1
3;11 - 0 1 1
10;11 1 0 1 -
10;14 1 - 1 0
0;1 0 0 0 -
2;3 0 0 1 -
10;11 1 0 1 -
0;2 0 0 - 0
8;10 1 0 - 0
1;3 0 0 - 1
0;4 0 - 0 0
10;14 1 - 1 0
3;7 0 - 1 1
0;8 - 0 0 0
3;11 - 0 1 1
0;1 0 0 0 -
2;3 0 0 1 -
10;11 1 0 1 -
0;2 0 0 - 0
8;10 1 0 - 0
1;3 0 0 - 1
0;4 0 - 0 0
10;14 1 - 1 0
3;7 0 - 1 1
0;8 - 0 0 0
3;11 - 0 1 1
Gruppe 0:
0;1 0 0 0 -
Gruppe 1:
2;3 0 0 1 -
Gruppe 2:
10;11 1 0 1 -
Gruppe 0:
0;2 0 0 - 0
Gruppe 1:
8;10 1 0 - 0
1;3 0 0 - 1
Gruppe 0:
0;4 0 - 0 0
Gruppe 2:
10;14 1 - 1 0
3;7 0 - 1 1
Gruppe 0:
0;8 - 0 0 0
Gruppe 2:
3;11 - 0 1 1
Gruppe 0:
0;1 0 0 0 -
Gruppe 1:
2;3 0 0 1 -
Gruppe 2:
10;11 1 0 1 -
0;1;2;3 0 0 - -
2;3;10;11 - 0 1 -
Gruppe 0:
0;2 0 0 - 0
Gruppe 1:
8;10 1 0 - 0
1;3 0 0 - 1
0;2;8;10 - 0 - 0
0;2;1;3 0 0 - -
Gruppe 0:
0;4 0 - 0 0
Gruppe 2:
10;14 1 - 1 0
3;7 0 - 1 1
Gruppe 0:
0;8 - 0 0 0
Gruppe 2:
3;11 - 0 1 1
0;1;2;3 0 0 - -
2;3;10;11 - 0 1 -
0;2;8;10 - 0 - 0
0;2;1;3 0 0 - -
Gruppe 0:
0;4 0 - 0 0
Gruppe 2:
10;14 1 - 1 0
3;7 0 - 1 1
Gruppe 0:
0;8 - 0 0 0
Gruppe 2:
3;11 - 0 1 1
0;1;2;3 0 0 - -
2;3;10;11 - 0 1 -
0;2;8;10 - 0 - 0
0;2;1;3 0 0 - -
0;4 0 - 0 0
10;14 1 - 1 0
3;7 0 - 1 1
0;8 - 0 0 0
3;11 - 0 1 1
0;1;2;3 0 0 - -
2;3;10;11 - 0 1 -
0;2;8;10 - 0 - 0
0;4 0 - 0 0
10;14 1 - 1 0
3;7 0 - 1 1
0;8 - 0 0 0
3;11 - 0 1 1
Minimale Restüberdeckung
0 1 2 3 4 7 8 10 11 14
0;1;2;3 * * * *
2;3;10;11 * * * *
0;2;8;10 * * * *
0;4 * *
10;14 * *
3;7 * *
0;8 * *
3;11 * *
0 1 2 3 4 7 8 10 11 14
0;1;2;3 * * * *
2;3;10;11 * * * *
0;2;8;10 * * * *
0;4 * *
10;14 * *
3;7 * *
0;1;2;3 0 0 - -
2;3;10;11 - 0 1 -
0;2;8;10 - 0 - 0
0;4 0 - 0 0
10;14 1 - 1 0
3;7 0 - 1 1
y <= (not x3 and not x2) or (not x2 and x1) or (not x2 and x1) or (not x2 and not x0) or (not x3 and not x1 and not x0) or (x3 and x1 and not x0) or (not x3 and x1 and x0)