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