/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/old-cs-2-03/2021-04-24-state/functions.txt

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