/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/fsm/fsm/2021-05-07-automat/automat3.txt


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


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