0 0 0 0 0 0
1 0 0 0 1 1
2 0 0 1 0 0
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 0
9 1 0 0 1 0
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 1
1 0 0 0 1 1
3 0 0 1 1 1
4 0 1 0 0 1
7 0 1 1 1 1
11 1 0 1 1 1
13 1 1 0 1 1
15 1 1 1 1 1
Gruppe1:
1 0 0 0 1 1
4 0 1 0 0 1
Gruppe2:
3 0 0 1 1 1
Gruppe3:
7 0 1 1 1 1
11 1 0 1 1 1
13 1 1 0 1 1
Gruppe4:
15 1 1 1 1 1
1;3 0 0 - 1
13;15 1 1 - 1
11;15 1 - 1 1
3;7 0 - 1 1
3;11 - 0 1 1
7;15 - 1 1 1
4 0 1 0 0
3;11;7;15 - - 1 1
11;15;3;7 - - 1 1
13;15 1 1 - 1
1;3 0 0 - 1
3;7 0 - 1 1
4 0 1 0 0
3;11;7;15 - - 1 1
1;3 0 0 - 1
13;15 1 1 - 1
3;7 0 - 1 1
4 0 1 0 0
1 3 4 7 11 13 15
3;11;7;15 * * * *
1;3 * *
3;7 * *
13;15 * *
4 *
1 3 4 7 11 13 15
3;11;7;15 * * * *
1;3 * *
13;15 * *
4 *
(x1 and x2) or (not x3 and not x2 and x0) or (x3 and x2 and x0) or (not x3 and x2 and not x1 and not x0)