david@www2:~$ gcc aufg-synthese-analyse.c
david@www2:~$ ./a.out
b a x b a y
0 0 0 0 0 1 1
1 0 0 1 1 1 1
2 0 1 0 0 1 1
3 0 1 1 1 1 1
4 1 0 0 1 0 1
5 1 0 1 0 0 0
6 1 1 0 1 0 1
7 1 1 1 0 1 1
david@www2:~$
b a x b
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
b a x a
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 0
7 1 1 1 1
b a x y
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
b a x b
1 0 0 1 1
3 0 1 1 1
4 1 0 0 1
6 1 1 0 1
b a x a
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
7 1 1 1 1
b a x y
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
6 1 1 0 1
7 1 1 1 1
b a x b
Gruppe 1:
1 0 0 1 1
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
b a x a
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
3 0 1 1 1
Gruppe 3:
7 1 1 1 1
b a x y
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
Gruppe 3:
7 1 1 1 1
b a x b
Gruppe 1:
1 0 0 1 1
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
1;3 0 - 1
4;6 1 - 0
b <- (not b and x) or (b and not x)
b a x a
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
3 0 1 1 1
Gruppe 3:
7 1 1 1 1
0;1 0 0 -
0;2 0 - 0
1;3 0 - 1
2;3 0 1 -
3;7 - 1 1
0;1 0 0 -
2;3 0 1 -
0;2 0 - 0
1;3 0 - 1
3;7 - 1 1
0;1;2;3 0 - -
0;2;1;3 0 - -
3;7 - 1 1
a <- (not b) or (a and x)
b a x y
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
Gruppe 3:
7 1 1 1 1
0;1 0 0 -
0;2 0 - 0
0;4 - 0 0
1;3 0 - 1
2;3 0 1 -
2;6 - 1 0
4;6 1 - 0
3;7 - 1 1
6;7 1 1 -
0;1 0 0 -
2;3 0 1 -
6;7 1 1 -
0;2 0 - 0
1;3 0 - 1
4;6 1 - 0
0;4 - 0 0
2;6 - 1 0
3;7 - 1 1
0;1;2;3 0 - -
2;3;6;7 - 1 -
0;2;1;3 0 - -
0;2;4;6 - - 0
0;4;2;6 - - 0
2;6;3;7 - 1 -
0;1;2;3 0 - -
2;3;6;7 - 1 -
0;2;4;6 - - 0
0 1 2 3 4 6 7
0;1;2;3 * * * *
2;3;6;7 * * * *
0;2;4;6 * * * *
y <- not b or a or not x
b <- (not b and x) or (b and not x)
a <- (not b) or (a and x)
y <- not b or a or not x
