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