0 0 0 0 0 0 1 0 0 0 1 0 2 0 0 1 0 0 3 0 0 1 1 0 4 0 1 0 0 0 5 0 1 0 1 1 6 0 1 1 0 0 7 0 1 1 1 0 8 1 0 0 0 0 9 1 0 0 1 1 10 1 0 1 0 0 11 1 0 1 1 0 12 1 1 0 0 0 13 1 1 0 1 0 14 1 1 1 0 0 15 1 1 1 1 0 5 0 1 0 1 1 9 1 0 0 1 1 Gruppe 2: 5 0 1 0 1 1 9 1 0 0 1 1 Minimale Rest"uberdeckung 5 9 5 * 9 * y <= (not x3 and x2 and not x1 and x0) or (x3 and not x2 and not x1 and x0)