Automat

z1+ z0+ x   z1  z0  y
0   0   0   0   1   0
0   0   1   1   0   1
0   1   0   1   1   0
0   1   1   1   1   1
1   0   0   1   0   0
1   0   1   0   1   0
1   1   0   0   0   0
1   1   1   0   0   0



z1+ z0+ x   z1
0   0   1   1
0   1   0   1
0   1   1   1
1   0   0   1

z1+ z0+ x   z0
0   0   0   1
0   1   0   1
0   1   1   1
1   0   1   1

z1+ z0+ x   y
0   0   1   1
0   1   1   1


z1+ z0+ x   z1
Gruppe 1:
0   0   1   1
0   1   0   1
1   0   0   1
Gruppe 2:
0   1   1   1


z1+ z0+ x   z0
Gruppe 0:
0   0   0   1
Gruppe 1:
0   1   0   1
Gruppe 2:
0   1   1   1
1   0   1   1

z1+ z0+ x   y
Gruppe 1:
0   0   1   1
Gruppe 2:
0   1   1   1




z1+ z0+ x   z1
Gruppe 1:
0   0   0   1   1
1   0   1   0   1
2   1   0   0   1
Gruppe 2:
3   0   1   1   1

0:3         0   -   1   1
1:3         0   1   -   1
2           1   0   0   1

        0   1   2   3
0:3     +           +
1:3         +       +
2               +

0:3         0   -   1   1
1:3         0   1   -   1
2           1   0   0   1

    z1  <=  (not z1 and x) or
            (not z1 and z0) or
            (z1 and not z0 and not x);

z1+ z0+ x   z0
Gruppe 0:
0       0   0   0   1
Gruppe 1:
1       0   1   0   1
Gruppe 2:
2       0   1   1   1
3       1   0   1   1

0:1     0   -   0   1
1:2     0   1   -   1
3       1   0   1   1

    z0  <=  (not z1 and not x) or
            (not z1 and z0) or
            (z1 and not z0 and x);


z1+ z0+ x   y
Gruppe 1:
0   0   1   1
Gruppe 2:
0   1   1   1

    y   <=  (not z1 and x);


    z1  <=  (not z1 and x) or
            (not z1 and z0) or
            (z1 and not z0 and not x);
    z0  <=  (not z1 and not x) or
            (not z1 and z0) or
            (z1 and not z0 and x);
    y   <=  (not z1 and x);
Image automat20241009-1

Image IMG_3646

Image IMG_3647

Image IMG_3648

Image IMG_3649

Image IMG_3650