z1+ z0+ x z1 z0 y
0 0 0 0 1 0
0 0 1 1 0 1
0 1 0 1 1 0
0 1 1 1 1 1
1 0 0 1 0 0
1 0 1 0 1 0
1 1 0 0 0 0
1 1 1 0 0 0
z1+ z0+ x z1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
z1+ z0+ x z0
0 0 0 1
0 1 0 1
0 1 1 1
1 0 1 1
z1+ z0+ x y
0 0 1 1
0 1 1 1
z1+ z0+ x z1
Gruppe 1:
0 0 1 1
0 1 0 1
1 0 0 1
Gruppe 2:
0 1 1 1
z1+ z0+ x z0
Gruppe 0:
0 0 0 1
Gruppe 1:
0 1 0 1
Gruppe 2:
0 1 1 1
1 0 1 1
z1+ z0+ x y
Gruppe 1:
0 0 1 1
Gruppe 2:
0 1 1 1
z1+ z0+ x z1
Gruppe 1:
0 0 0 1 1
1 0 1 0 1
2 1 0 0 1
Gruppe 2:
3 0 1 1 1
0:3 0 - 1 1
1:3 0 1 - 1
2 1 0 0 1
0 1 2 3
0:3 + +
1:3 + +
2 +
0:3 0 - 1 1
1:3 0 1 - 1
2 1 0 0 1
z1 <= (not z1 and x) or
(not z1 and z0) or
(z1 and not z0 and not x);
z1+ z0+ x z0
Gruppe 0:
0 0 0 0 1
Gruppe 1:
1 0 1 0 1
Gruppe 2:
2 0 1 1 1
3 1 0 1 1
0:1 0 - 0 1
1:2 0 1 - 1
3 1 0 1 1
z0 <= (not z1 and not x) or
(not z1 and z0) or
(z1 and not z0 and x);
z1+ z0+ x y
Gruppe 1:
0 0 1 1
Gruppe 2:
0 1 1 1
y <= (not z1 and x);
z1 <= (not z1 and x) or
(not z1 and z0) or
(z1 and not z0 and not x);
z0 <= (not z1 and not x) or
(not z1 and z0) or
(z1 and not z0 and x);
y <= (not z1 and x);