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