Next: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-01/comp-2021-09-07/(1).c Up: www02102026002 Previous: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-01/aufgaben-2022-03-07/synthese0003.txt
b a x b a y
0 0 0 0 0 0 1
1 0 0 1 1 1 1
2 0 1 0 1 0 0
3 0 1 1 1 1 1
4 1 0 0 0 0 1
5 1 0 1 0 1 0
6 1 1 0 1 0 1
7 1 1 1 0 1 0
b a x b
0 0 0 0 0
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 1
7 1 1 1 0
b a x a
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
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 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 b
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
6 1 1 0 1
b a x a
1 0 0 1 1
3 0 1 1 1
5 1 0 1 1
7 1 1 1 1
b a x y
0 0 0 0 1
1 0 0 1 1
3 0 1 1 1
4 1 0 0 1
6 1 1 0 1
b a x b
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
b a x a
Gruppe 1:
1 0 0 1 1
Gruppe 2:
3 0 1 1 1
5 1 0 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
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
b a x b
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
1;3 0 - 1
2;3 0 1 -
2;6 - 1 0
b <- (not b and x) or (not b and a) or (a and not x)
b a x a
Gruppe 1:
1 0 0 1 1
Gruppe 2:
3 0 1 1 1
5 1 0 1 1
Gruppe 3:
7 1 1 1 1
1;3 0 - 1
1;5 - 0 1
3;7 - 1 1
5;7 1 - 1
1;3;5;7 - - 1
a <- x
b a x y
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 0 1 1
4 1 0 0 1
Gruppe 2:
3 0 1 1 1
6 1 1 0 1
0;1 0 0 -
0;4 - 0 0
1;3 0 - 1
4;6 1 - 0
0 1 3 4 6
0;1 * *
0;4 * *
1;3 * *
4;6 * *
0 1 3 4 6
0;4 * *
1;3 * *
4;6 * *
y <- (not a and not x) or (not b and x) or (b and not x)
b <- (not b and x) or (not b and a) or (a and not x)
a <- x
y <- (not a and not x) or (not b and x) or (b and not x)