b a x b a y 0 0 0 0 0 1 1 1 0 0 1 0 0 1 2 0 1 0 1 1 1 3 0 1 1 0 0 1 4 1 0 0 0 1 1 5 1 0 1 0 0 0 6 1 1 0 1 1 0 7 1 1 1 0 1 1 b a x b 0 0 0 0 0 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 0 5 1 0 1 0 6 1 1 0 1 7 1 1 1 0 b a x a 0 0 0 0 1 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 1 5 1 0 1 0 6 1 1 0 1 7 1 1 1 1 b a x y 0 0 0 0 1 1 0 0 1 1 2 0 1 0 1 3 0 1 1 1 4 1 0 0 1 5 1 0 1 0 6 1 1 0 0 7 1 1 1 1 b a x b 2 0 1 0 1 6 1 1 0 1 b a x a 0 0 0 0 1 2 0 1 0 1 4 1 0 0 1 6 1 1 0 1 7 1 1 1 1 b a x y 0 0 0 0 1 1 0 0 1 1 2 0 1 0 1 3 0 1 1 1 4 1 0 0 1 7 1 1 1 1 b a x b 2 0 1 0 1 6 1 1 0 1 2;6 - 1 0 b := (a and not x) b a x a Gruppe 0: 0 0 0 0 1 Gruppe 1: 2 0 1 0 1 4 1 0 0 1 Gruppe 2: 6 1 1 0 1 Gruppe 3: 7 1 1 1 1 0;1 0 - 0 0;4 - 0 0 2;6 - 1 0 4;6 1 - 0 6;7 1 1 - 0;1 0 - 0 4;6 1 - 0 0;2;4;6 - - 0 0;4 - 0 0 2;6 - 1 0 0;4;2;6 - - 0 6;7 1 1 - - - 0 1 1 - a := (not x) or (b and a) b a x y Gruppe 0: 0 0 0 0 1 Gruppe 1: 1 0 0 1 1 2 0 1 0 1 4 1 0 0 1 Gruppe 2: 3 0 1 1 1 Gruppe 3: 7 1 1 1 1 0;1 0 0 - 0;2 0 - 0 0;4 - 0 0 1;3 0 - 1 2;3 0 1 - 3;7 - 1 1 0;1 0 0 - 2;3 0 1 - 0;2 0 - 0 1;3 0 - 1 0;4 - 0 0 3;7 - 1 1 0;1;2;3 0 - - 0;4 - 0 0 3;7 - 1 1 y := (not b) or (not a and not x) or (a and x)