0 0 0 0 1 1
0 0 1 0 1 1
0 1 0 1 1 1
0 1 1 1 0 1
1 0 0 0 1 1
1 0 1 0 0 0
1 1 0 1 0 1
1 1 1 1 1 1
b a x b a y
1 0 0 0 0 1 1
2 0 0 1 0 1 1
3 0 1 0 1 1 1
4 0 1 1 1 0 1
5 1 0 0 0 1 1
6 1 0 1 0 0 0
7 1 1 0 1 0 1
8 1 1 1 1 1 1
b a x b
1 0 0 0 0
2 0 0 1 0
3 0 1 0 1
4 0 1 1 1
5 1 0 0 0
6 1 0 1 0
7 1 1 0 1
8 1 1 1 1
b a x a
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
4 0 1 1 0
5 1 0 0 1
6 1 0 1 0
7 1 1 0 0
8 1 1 1 1
b a x y
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
4 0 1 1 1
5 1 0 0 1
6 1 0 1 0
7 1 1 0 1
8 1 1 1 1
b a x b
3 0 1 0 1
4 0 1 1 1
7 1 1 0 1
8 1 1 1 1
b a x a
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
5 1 0 0 1
8 1 1 1 1
b a x y
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
4 0 1 1 1
5 1 0 0 1
7 1 1 0 1
8 1 1 1 1
b a x b
Gruppe 1
3 0 1 0 1
Gruppe 2
4 0 1 1 1
7 1 1 0 1
Gruppe 3
8 1 1 1 1
3;4 0 1 -
4;8 - 1 1
7;8 1 1 -
b := (not b and a) or (a and x) or (b and a)
b a x a
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
5 1 0 0 1
8 1 1 1 1
b a x a
Gruppe 0
1 0 0 0 1
Gruppe 1
2 0 0 1 1
3 0 1 0 1
5 1 0 0 1
Gruppe 3
8 1 1 1 1
1;2 0 0 -
1;3 0 - 0
1;5 - 0 0
8 1 1 1
a := (not b and not a) or (not b and not x) or (not a and not x) or (b and a and x)
b a x y
1 0 0 0 1
2 0 0 1 1
3 0 1 0 1
4 0 1 1 1
5 1 0 0 1
7 1 1 0 1
8 1 1 1 1
b a x y
Gruppe 0
1 0 0 0 1
Gruppe 1
2 0 0 1 1
3 0 1 0 1
5 1 0 0 1
Gruppe 2
4 0 1 1 1
7 1 1 0 1
Gruppe 3
8 1 1 1 1
1;2 0 0 -
1;3 0 - 0
1;5 - 0 0
2;4 0 - 1
3;4 0 1 -
3;7 - 1 0
5;7 1 - 0
4;8 - 1 1
7;8 1 1 -
1;2 0 0 -
3;4 0 1 -
7;8 1 1 -
5;7 1 - 0
2;4 0 - 1
1;3 0 - 0
3;7 - 1 0
4;8 - 1 1
1;5 - 0 0
1;2;3;4 0 - -
3;4;7;8 - 1 -
5;7;1;3 - - 0
2;4;1;3 0 - -
1;5;3;7 - - 0
3;7;4;8 - 1 -
1;2;3;4 0 - -
2;4;1;3 0 - -
3;4;7;8 - 1 -
3;7;4;8 - 1 -
5;7;1;3 - - 0
1;5;3;7 - - 0
1;2;3;4 0 - -
3;4;7;8 - 1 -
1;5;3;7 - - 0
y := not b or a or not x
b := (not b and a) or (a and x) or (b and a)
a := (not b and not a) or (not b and not x) or (not a and not x) or (b and a and x)
y := not b or a or not x
