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