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 1
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 0
12 1 1 0 0 0
13 1 1 0 1 0
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
6 0 1 1 0 1
7 0 1 1 1 1
8 1 0 0 0 1
10 1 0 1 0 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
6 0 1 1 0 1
10 1 0 1 0 1
Gruppe 3
7 0 1 1 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 -
2;6 0 - 1 0
2;10 1 0 - 0
8;10 1 0 - 0
3;7 0 - 1 1
5;7 0 1 - 1
6;7 0 1 1 -
7;15 - 1 1 1
0;2 0 0 - 0
2;10 1 0 - 0
8;10 1 0 - 0
5;7 0 1 - 1
0:8 - 0 0 0
7;15 - 1 1 1
2;6 0 - 1 0
3;7 0 - 1 1
6;7 0 1 1 -
2;3 0 0 1 -
0;2 0 0 - 0
8;10 1 0 - 0
5;7 0 1 - 1
0:8 - 0 0 0
7;15 - 1 1 1
2;6 0 - 1 0
3;7 0 - 1 1
6;7 0 1 1 -
2;3 0 0 1 -
Gruppe 0
0;2 0 0 - 0
Gruppe 1
8;10 1 0 - 0
Gruppe 2
5;7 0 1 - 1
0;2;8;10 - 0 - 0
Gruppe 0
0:8 - 0 0 0
Gruppe 1
7;15 - 1 1 1
Gruppe 1
2;6 0 - 1 0
Gruppe 2
3;7 0 - 1 1
2;6;3;7 0 - 1 -
Gruppe 1
2;3 0 0 1 -
Gruppe 2
6;7 0 1 1 -
2;3;6;7 0 - 1 -
5;7 0 1 - 1
0;2;8;10 - 0 - 0
0:8 - 0 0 0
7;15 - 1 1 1
2;6;3;7 0 - 1 -
2;3;6;7 0 - 1 -
5;7 0 1 - 1
0;2;8;10 - 0 - 0
0:8 - 0 0 0
7;15 - 1 1 1
2;6;3;7 0 - 1 -
5;7 0 1 - 1
0;2;8;10 - 0 - 0
7;15 - 1 1 1
2;6;3;7 0 - 1 -
0 2 3 5 6 7 8 10 15
0;2;8;10 * * * *
5;7 * *
7;15 * *
2;6;3;8 * * *
(not and x2 and not x0) or (not x3 and x2 and x0) or (x2 and x1 and x0) or (not x3 and x1)