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