0 0 0 0 0 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
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
4 0 1 0 0 1
Gruppe 2:
3 0 0 1 1 1
Gruppe 3:
7 0 1 1 1 1
11 1 0 1 1 1
14 1 1 1 0 1
Gruppe 4:
15 1 1 1 1 1
0:1 0 0 0 -
0:4 0 - 0 0
1:3 0 0 - 1
3:7 0 - 1 1
3:11 - 0 1 1
7:15 - 1 1 1
7:15 1 - 1 1
14:15 1 1 1 -
0:1 0 0 0 -
14:15 1 1 1 -
1:3 0 0 - 1
0:4 0 - 0 0
3:7 0 - 1 1
7:15 1 - 1 1
3:11 - 0 1 1
7:15 - 1 1 1
Gruppe 0:
0:1 0 0 0 -
Gruppe 1:
14:15 1 1 1 -
Gruppe 1:
1:3 0 0 - 1
Gruppe 0:
0:4 0 - 0 0
Gruppe 2:
3:7 0 - 1 1
Gruppe 3:
7:15 1 - 1 1
Gruppe 2:
3:11 - 0 1 1
Gruppe 3:
7:15 - 1 1 1
Gruppe 0:
0:1 0 0 0 -
Gruppe 1:
14:15 1 1 1 -
Gruppe 1:
1:3 0 0 - 1
Gruppe 0:
0:4 0 - 0 0
Gruppe 2:
3:7 0 - 1 1
Gruppe 3:
7:15 1 - 1 1
Gruppe 2:
3:11 - 0 1 1
Gruppe 3:
7:15 - 1 1 1
Gruppe 0:
0:1 0 0 0 -
Gruppe 1:
14:15 1 1 1 -
Gruppe 1:
1:3 0 0 - 1
Gruppe 0:
0:4 0 - 0 0
3:7:11:15 - - 1 1
0:1 0 0 0 -
14:15 1 1 1 -
1:3 0 0 - 1
0:4 0 - 0 0
3:7:11:15 - - 1 1
0 1 3 4 7 11 14 15
0:1 * *
14:15 * *
1:3 * *
0:4 * *
3:7:11:15 * * * *
0 1 3 4 7 11 14 15
0:1 * *
14:15 * *
0:4 * *
3:7:11:15 * * * *
0:1 0 0 0 -
14:15 1 1 1 -
0:4 0 - 0 0
3:7:11:15 - - 1 1
y <= (not x3 and not x2 and not x0) or
(x3 and x2 and x1) or
(not x3 and not x1 and not x0) or
(x1 and x0)