3 3 2 2
3 3 2 2
1 1 1 1
0 0 0 0
Zustand Eingabe Ausgabe Folgezustand
0 0 1 3
0 1 0 3
0 2 3 2
0 3 3 2
1 0 0 3
1 1 3 3
1 2 3 2
1 3 0 2
2 0 0 1
2 1 3 1
2 2 3 1
2 3 0 1
3 0 3 0
3 1 0 0
3 2 0 0
3 3 2 0
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
0 0 1 3 1 0 0 0 0 0 0 1
0 1 0 3 1 0 0 0 0 1 0 0
0 2 3 2 0 1 0 0 1 0 1 1
0 3 3 2 0 1 0 0 1 1 1 1
1 0 0 3 1 0 0 0 0 0 0 0
1 1 3 3 1 0 0 0 0 1 1 1
1 2 3 2 0 1 0 0 1 0 1 1
1 3 0 2 0 1 0 0 1 1 0 0
2 0 0 1 0 0 1 0 0 0 0 0
2 1 3 1 0 0 1 0 0 1 1 1
2 2 3 1 0 0 1 0 1 0 1 1
2 3 0 1 0 0 1 0 1 1 0 0
3 0 3 0 0 0 0 1 0 0 1 1
3 1 0 0 0 0 0 1 0 1 0 0
3 2 0 0 0 0 0 1 1 0 0 0
3 3 2 0 0 0 0 1 1 1 1 0
+++++++++++++++++++++++++++++++++
z3+
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
0 0 1 3 1 0 0 0 0 0 0 1
0 1 0 3 1 0 0 0 0 1 0 0
1 0 0 3 1 0 0 0 0 0 0 0
1 1 3 3 1 0 0 0 0 1 1 1
z3+ <= (z0 and not x1 and not x0) or (z0 and not x1 and x0) or (z1 and not x1 and not x0) or (z1 and not x1 and x0)
z2+
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
0 2 3 2 0 1 0 0 1 0 1 1
0 3 3 2 0 1 0 0 1 1 1 1
1 2 3 2 0 1 0 0 1 0 1 1
1 3 0 2 0 1 0 0 1 1 0 0
z2+ <= (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and x1 and not x0) or (z1 and x1 and x0)
z1+
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
2 0 0 1 0 0 1 0 0 0 0 0
2 1 3 1 0 0 1 0 0 1 1 1
2 2 3 1 0 0 1 0 1 0 1 1
2 3 0 1 0 0 1 0 1 1 0 0
z1+ <= z2
z0+
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
3 0 3 0 0 0 0 1 0 0 1 1
3 1 0 0 0 0 0 1 0 1 0 0
3 2 0 0 0 0 0 1 1 0 0 0
3 3 2 0 0 0 0 1 1 1 1 0
z0+ <= z3
y1
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
0 2 3 2 0 1 0 0 1 0 1 1
0 3 3 2 0 1 0 0 1 1 1 1
1 1 3 3 1 0 0 0 0 1 1 1
1 2 3 2 0 1 0 0 1 0 1 1
2 1 3 1 0 0 1 0 0 1 1 1
2 2 3 1 0 0 1 0 1 0 1 1
3 0 3 0 0 0 0 1 0 0 1 1
3 3 2 0 0 0 0 1 1 1 1 0
y1 <= (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and not x1 and x0) or (z1 and x1 and not x0) or (z2 and not x1 and x0) or (z2 and x1 and not x0) or (z3 and not x1 and not x0) or (z3 and x1 and x0);
y0
Zustand Eingabe Ausgabe Folgezustand Folgezustand unär Eingabe binär Ausgabe binär
z3+ z2+ z1+ z0+ x1 x0 y1 y0
0 0 1 3 1 0 0 0 0 0 0 1
0 2 3 2 0 1 0 0 1 0 1 1
0 3 3 2 0 1 0 0 1 1 1 1
1 1 3 3 1 0 0 0 0 1 1 1
1 2 3 2 0 1 0 0 1 0 1 1
2 1 3 1 0 0 1 0 0 1 1 1
2 2 3 1 0 0 1 0 1 0 1 1
3 0 3 0 0 0 0 1 0 0 1 1
y0 <= (z0 and not x1 and not x0) or (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and not x1 and x0) or (z1 and x1 and not x0) or (z2 and not x1 and x0) or (z2 and x1 and not x0) or (z3 and not x1 and not x0);
z3+ <= (z0 and not x1 and not x0) or (z0 and not x1 and x0) or (z1 and not x1 and not x0) or (z1 and not x1 and x0);
z2+ <= (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and x1 and not x0) or (z1 and x1 and x0);
z1+ <= z2;
z0+ <= z3;
y1 <= (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and not x1 and x0) or (z1 and x1 and not x0) or (z2 and not x1 and x0) or (z2 and x1 and not x0) or (z3 and not x1 and not x0) or (z3 and x1 and x0);
y0 <= (z0 and not x1 and not x0) or (z0 and x1 and not x0) or (z0 and x1 and x0) or (z1 and not x1 and x0) or (z1 and x1 and not x0) or (z2 and not x1 and x0) or (z2 and x1 and not x0) or (z3 and not x1 and not x0);
