/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/automat15.txt

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


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

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

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




    bax b
3   010 1
5   100 1
6   101 1
7   110 1

    bax a
2   001 1
3   010 1
5   100 1
8   111 1

    bax y
1   000 1
3   010 1
4   011 1
7   110 1



    bax b
Gruppe 1
3   010 1
5   100 1
Gruppe 2
6   101 1
7   110 1

    bax a
Gruppe 1
2   001 1
3   010 1
5   100 1
Gruppe 3
8   111 1

    bax y
Gruppe 0
1   000 1
Gruppe 1
3   010 1
Gruppe 2
4   011 1
7   110 1




    bax b
Gruppe 1
3   010 1
5   100 1
Gruppe 2
6   101 1
7   110 1

5;6     1 0 -
5;7     1 - 0
3;7     - 1 0

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

    bax a
Gruppe 1
2   001 1
3   010 1
5   100 1
Gruppe 3
8   111 1

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

    bax y
Gruppe 0
1   000 1
Gruppe 1
3   010 1
Gruppe 2
4   011 1
7   110 1

3;4     0 1 -
1;3     0 - 0
3;7     - 1 0

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


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