0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
3 0 0 1 1 0
4 0 1 0 0 0
5 0 1 0 1 0
6 0 1 1 0 1
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 0
12 1 1 0 0 0
13 1 1 0 1 0
14 1 1 1 0 1
15 1 1 1 1 1
0 0 0 0 0 1
1 0 0 0 1 1
2 0 0 1 0 1
6 0 1 1 0 1
7 0 1 1 1 1
14 1 1 1 0 1
15 1 1 1 1 1
Gruppe 0:
0 0 0 0 0 1
Gruppe 1:
1 0 0 0 1 1
2 0 0 1 0 1
Gruppe 2:
6 0 1 1 0 1
Gruppe 3:
7 0 1 1 1 1
14 1 1 1 0 1
Gruppe 4:
15 1 1 1 1 1
0;1 0 0 0 -
0;2 0 0 - 0
2;6 0 - 1 0
6;7 0 1 1 -
6;14 - 1 1 0
7;15 - 1 1 1
14;15 1 1 1 -
14;15 1 1 1 -
6;7 0 1 1 -
0;1 0 0 0 -
0;2 0 0 - 0
2;6 0 - 1 0
6;14 - 1 1 0
7;15 - 1 1 1
Gruppe 3:
14;15 1 1 1 -
Gruppe 2:
6;7 0 1 1 -
Gruppe 0:
0;1 0 0 0 -
6;7;14;15 - 1 1 -
0;1 0 0 0 -
0;2 0 0 - 0
2;6 0 - 1 0
Gruppe 2:
6;14 - 1 1 0
Gruppe 3:
7;15 - 1 1 1
6;14;7;15 - 1 1 -
6;7;14;15 - 1 1 -
0;1 0 0 0 -
0;2 0 0 - 0
2;6 0 - 1 0
0 1 2 6 7 14 15
6;7;14;15 * * * *
0;1 * *
0;2 * *
2;6 * *
0 1 2 6 7 14 15
6;7;14;15 * * * *
0;1 * *
0;2 * *
y := (c and b) or (not d and not c and not b) or (not d and not c and not a) or (not d and b and not a)