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