b a x b a y 0 0 0 0 0 1 0 1 0 0 1 1 1 1 2 0 1 0 1 0 1 3 0 1 1 0 1 0 4 1 0 0 0 1 0 5 1 0 1 1 1 1 6 1 1 0 1 0 1 7 1 1 1 0 0 1 b a x b 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 3 0 1 1 0 4 1 0 0 0 5 1 0 1 1 6 1 1 0 1 7 1 1 1 0 b a x a 0 0 0 0 1 1 0 0 1 1 2 0 1 0 0 3 0 1 1 1 4 1 0 0 1 5 1 0 1 1 6 1 1 0 0 7 1 1 1 0 b a x y 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 3 0 1 1 0 4 1 0 0 0 5 1 0 1 1 6 1 1 0 1 7 1 1 1 1 b a x b 1 0 0 1 1 2 0 1 0 1 5 1 0 1 1 6 1 1 0 1 b a x a 0 0 0 0 1 1 0 0 1 1 3 0 1 1 1 4 1 0 0 1 5 1 0 1 1 b a x y 1 0 0 1 1 2 0 1 0 1 5 1 0 1 1 6 1 1 0 1 7 1 1 1 1 b a x b Gruppe 0: 1 0 0 1 1 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 b a x a Gruppe 0: 0 0 0 0 1 Gruppe 1: 4 1 0 0 1 1 0 0 1 1 Gruppe 2: 3 0 1 1 1 5 1 0 1 1 b a x y Gruppe 1: 1 0 0 1 1 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 Gruppe 3: 7 1 1 1 1 b a x b Gruppe 0: 1 0 0 1 1 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 1;5 - 0 1 2;6 - 1 0 b <= (not a and x) or (a and not x) b a x a Gruppe 0: 0 0 0 0 1 Gruppe 1: 4 1 0 0 1 1 0 0 1 1 Gruppe 2: 3 0 1 1 1 5 1 0 1 1 0;4 - 0 0 0;1 0 0 - 4;5 1 0 - 1;3 0 - 1 1;5 - 0 1 0;4 - 0 0 1;5 - 0 1 0;1 0 0 - 4;5 1 0 - 1;3 0 - 1 0;4;1;5 - 0 - 0;1;4;5 - 0 - a <= (not a) or (not b and x) b a x y Gruppe 1: 1 0 0 1 1 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 Gruppe 3: 7 1 1 1 1 1;5 - 0 1 2;6 1 - 0 5;7 1 - 1 6;7 1 1 - 2;6;5;7 1 - - Minimale Rest"uberdeckung 1 2 5 6 7 2;6;5;7 * * * * 5;7 * * 6;7 * * 1 2 5 6 7 2;6;5;7 * * * * 6;7 * * y <= (b) or (b and a) Das ist seltsam, aber egal. Stimmt auch nicht, minimale Rest"uberdeckung falsch gemacht, hingucken 1 2 5 6 7 1;5 * * 2;6;5;7 * * * * 6;7 * * y <= b or (not a and x) So ist es richtig, beim Aufschreiben der Minimalen Rest"uberdeckung habe ich nicht richtig geguckt, 5;7 ist bereits im Ausdruck und 1;5 "ubersehen. Jetzt richtig. b <= (not a and x) or (a and not x) a <= (not a) or (not b and x) y <= b or (not a and x)