/media/sda-magnetic/david/Extern-Magnetic-2022-06-29/Extern01/Dokumente-11-2021-07-05/informatik-math/informatik2/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