/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-06-28/automat03.txt

bax bay
000 010
001 000
010 000
011 110
100 100
101 001
110 111
111 110


    bax b
1   000 0
2   001 0
3   010 0
4   011 1
5   100 1
6   101 0
7   110 1
8   111 1

    bax a
1   000 1
2   001 0
3   010 0
4   011 1
5   100 0
6   101 0
7   110 1
8   111 1

    bax y
1   000 0
2   001 0
3   010 0
4   011 0
5   100 0
6   101 1
7   110 1
8   111 0




    bax b
4   011 1
5   100 1
7   110 1
8   111 1

    bax a
1   000 1
4   011 1
7   110 1
8   111 1

    bax y
6   101 1
7   110 1




    bax b
Gruppe 1
5   100 1
Gruppe 2
4   011 1
7   110 1
Gruppe 3
8   111 1

5;7     1-0
4;8     -11
7;8     11-

b := (b and not x) or (a and x) or (b and a)

    bax a
Gruppe 0
1   000 1
Gruppe 2
4   011 1
7   110 1
Gruppe 3
8   111 1

1       000
4;8     -11
7;8     11-

a := (not b and not a and not x) or (a and x) or (b and a)

    bax y
Gruppe 2
6   101 1
7   110 1

y := (b and not a and x) or (b and a and not x)



b := (b and not x) or (a and x) or (b and a)
a := (not b and not a and not x) or (a and x) or (b and a)
y := (b and not a and x) or (b and a and not x)