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);