/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/fsm/fsm/2021-05-07-automat/automat2.txt

0 0 0   0 1 0
0 0 1   1 1 0
0 1 0   0 1 1
0 1 1   0 0 0
1 0 0   1 0 0
1 0 1   0 0 0
1 1 0   0 0 1
1 1 1   0 0 0


0 0 0   0
0 0 1   1
0 1 0   0
0 1 1   0
1 0 0   1
1 0 1   0
1 1 0   0
1 1 1   0


0 0 0   1
0 0 1   1
0 1 0   1
0 1 1   0
1 0 0   0
1 0 1   0
1 1 0   0
1 1 1   0


0 0 0   0
0 0 1   0
0 1 0   1
0 1 1   0
1 0 0   0
1 0 1   0
1 1 0   1
1 1 1   0

-----------------------
0 0 1   1
1 0 0   1

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

---------------------------
Gruppe 0
0 0 0   1
Gruppe 1
0 0 1   1
0 1 0   1

0 0 -
0 - 0

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

------------

0 1 0   1
1 1 0   1

- 1 0

y = (z0 and not x)



z1 = (not z1 and not z0 and x) or (z1 and not z0 and not x)
z0 = (not z1 and not z0) or (not z1 and not x)
y = (z0 and not x)