2024-10-19, automat, binär/unär

        b a x   b a y
0       0 0 0   1 0 1
1       0 0 1   0 0 0
2       0 1 0   1 1 0
3       0 1 1   1 0 0
4       1 0 0   1 1 0
5       1 0 1   0 1 1
6       1 1 0   1 1 0
7       1 1 1   0 0 0

        b a x   b
0       0 0 0   1
1       0 0 1   0
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   0

        b a x   a
0       0 0 0   0
1       0 0 1   0
2       0 1 0   1
3       0 1 1   0
4       1 0 0   1
5       1 0 1   1
6       1 1 0   1
7       1 1 1   0

        b a x   y
0       0 0 0   1
1       0 0 1   0
2       0 1 0   0
3       0 1 1   0
4       1 0 0   0
5       1 0 1   1
6       1 1 0   0
7       1 1 1   0




        b a x   b
0       0 0 0   1
2       0 1 0   1
3       0 1 1   1
4       1 0 0   1
6       1 1 0   1

        b a x   a
2       0 1 0   1
4       1 0 0   1
5       1 0 1   1
6       1 1 0   1

        b a x   y
0       0 0 0   1
5       1 0 1   1


        b a x   b
Gruppe 0:
0       0 0 0   1
Gruppe 1:
2       0 1 0   1
4       1 0 0   1
Gruppe 2:
3       0 1 1   1
6       1 1 0   1

        b a x   a
Gruppe 1:
2       0 1 0   1
4       1 0 0   1
Gruppe 2:
5       1 0 1   1
6       1 1 0   1

        b a x   y
0       0 0 0   1
5       1 0 1   1


        b a x   b
Gruppe 0:
0       0 0 0   1
Gruppe 1:
2       0 1 0   1
4       1 0 0   1
Gruppe 2:
3       0 1 1   1
6       1 1 0   1

0:2         0   -   0
0:4         -   0   0
2:3         0   1   -
2:6         -   1   0
4:6         1   -   0

0:2         0   -   0
4:6         1   -   0
0:4         -   0   0
2:6         -   1   0
2:3         0   1   -

0:2:4:6         -   -   0
0:4:2:6         -   -   0
2:3             0   1

    b   <=  (not x)
                or (not b and a);




        b a x   a
Gruppe 1:
2       0 1 0   1
4       1 0 0   1
Gruppe 2:
5       1 0 1   1
6       1 1 0   1


2:6         -   1   0
4:5         1   0   -
4:6         1   -   0

Primimplikanten
            2   4   5   6
2:6         +           +
4:5             +   +
4:6             +       +

            2   4   5   6
2:6         +           +
4:5             +   +

        a   <=  (a and not x) or
                    (b and not a);


        b a x   y
0       0 0 0   1
5       1 0 1   1

    y   <=  (not b and not a and not x) or
                (b and not a and x);


    b   <=  (not x)
                or (not b and a);
    a   <=  (a and not x) or
                    (b and not a);
    y   <=  (not b and not a and not x) or
                (b and not a and x);


unaer kodiert

Zustand Eingabe Ausgabe Folge-Zustand Code-Folgezustand
                                      z3+ z2+ z1+ z0+
z0      0       1       z2            0   1   0   0
z0      1       0       z0            0   0   0   1
z1      0       0       z3            1   0   0   0
z1      1       0       z2            0   1   0   0
z2      0       0       z3            1   0   0   0
z2      1       1       z1            0   0   1   0
z3      0       0       z3            1   0   0   0
z3      1       0       z0            0   0   0   1

z0+ := z0 and x or z3 and x
z1+ := z2 and x
z2+ := z0 and not x or z1 and x
z3+ := z1 and not x or z2 and not x or z3 and not x
y := z0 and not x or z2 and x