Next: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-06-28/automat06.txt Up: www02102026002 Previous: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-06-28/automat04.txt
b a x b a y
1 0 0 0 0 0 0
2 0 0 1 1 0 0
3 0 1 0 1 0 0
4 0 1 1 1 1 1
5 1 0 0 1 0 0
6 1 0 1 1 1 0
7 1 1 0 1 1 1
8 1 1 1 1 0 0
b a x b
1 0 0 0 0
2 0 0 1 1
3 0 1 0 1
4 0 1 1 1
5 1 0 0 1
6 1 0 1 1
7 1 1 0 1
8 1 1 1 1
b a x a
1 0 0 0 0
2 0 0 1 0
3 0 1 0 0
4 0 1 1 1
5 1 0 0 0
6 1 0 1 1
7 1 1 0 1
8 1 1 1 0
b a x y
1 0 0 0 0
2 0 0 1 0
3 0 1 0 0
4 0 1 1 1
5 1 0 0 0
6 1 0 1 0
7 1 1 0 1
8 1 1 1 0
b a x b
2 0 0 1 1
3 0 1 0 1
4 0 1 1 1
5 1 0 0 1
6 1 0 1 1
7 1 1 0 1
8 1 1 1 1
b a x a
4 0 1 1 1
6 1 0 1 1
7 1 1 0 1
b a x y
4 0 1 1 1
7 1 1 0 1
b a x b
Gruppe 1
2 0 0 1 1
3 0 1 0 1
5 1 0 0 1
Gruppe 2
4 0 1 1 1
6 1 0 1 1
7 1 1 0 1
Gruppe 3
8 1 1 1 1
2;4 0 - 1
2;6 - 0 1
3;4 0 1 -
3;7 - 1 0
5;6 1 0 -
5;7 1 - 0
4;8 - 1 1
6;8 1 - 1
7;8 1 1 -
Gruppe 1
3;4 0 1 -
5;6 1 0 -
Gruppe 2
7;8 1 1 -
3;4;5;6 - 1 -
5;6;7;8 1 - -
Gruppe 1
2;4 0 - 1
5;7 1 - 0
Gruppe 2
6;8 1 - 1
2;4;6;8 - - 1
5;7;6;8 1 - -
Gruppe 1
2;6 - 0 1
3;7 - 1 0
Gruppe 2
4;8 - 1 1
2;6;4;8 - - 1
3;7;4;8 - 1 -
3;4;5;6 - 1 -
3;7;4;8 - 1 -
5;7;6;8 1 - -
5;6;7;8 1 - -
2;4;6;8 - - 1
2;6;4;8 - - 1
2 3 4 5 6 7 8
3;4;5;6 * * * *
3;7;4;8 * * * *
5;7;6;8 * * * *
5;6;7;8 * * * *
2;4;6;8 * * * *
2;6;4;8 * * * *
2 3 4 5 6 7 8
3;4;5;6 * * * *
5;7;6;8 * * * *
2;4;6;8 * * * *
b := a or b or x
b a x a
Gruppe 2
4 0 1 1 1
6 1 0 1 1
7 1 1 0 1
a := (not b and a and x) or (b and not a and x) or (b and a and not x)
b a x y
Gruppe 2
4 0 1 1 1
7 1 1 0 1
y := (not b and a and x) or (b and a and not x)
b := a or b or x
a := (not b and a and x) or (b and not a and x) or (b and a and not x)
y := (not b and a and x) or (b and a and not x)