/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/quine50.txt

 0 0 0 0 0    1
 1 0 0 0 1    0
 2 0 0 1 0    0
 3 0 0 1 1    1
 4 0 1 0 0    0
 5 0 1 0 1    1
 6 0 1 1 0    1
 7 0 1 1 1    1
 8 1 0 0 0    1
 9 1 0 0 1    1
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    1


 0 0 0 0 0    1
 3 0 0 1 1    1
 5 0 1 0 1    1
 6 0 1 1 0    1
 7 0 1 1 1    1
 8 1 0 0 0    1
 9 1 0 0 1    1
10 1 0 1 0    1
11 1 0 1 1    1
14 1 1 1 0    1
15 1 1 1 1    1


Gruppe 0
 0 0 0 0 0    1
Gruppe 1
 8 1 0 0 0    1
Gruppe 2
 3 0 0 1 1    1
 5 0 1 0 1    1
 6 0 1 1 0    1
 9 1 0 0 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
Gruppe 4
15 1 1 1 1    1

0;8         - 0 0 0 
8;9         1 0 0 -
8;10        1 0 - 0
3;7         0 - 1 1
5;7         0 1 - 1
6;7         0 1 1 -
10;11       1 0 1 -
10;14       1 - 1 0
9;11        1 0 - 1
7;15        - 1 1 1
11;15       1 - 1 1 
14;15       1 1 1 -



0;8         - 0 0 0
7;15        - 1 1 1
3;7         0 - 1 1
10;14       1 - 1 0
11;15       1 - 1 1 
5;7         0 1 - 1
9;11        1 0 - 1
8;10        1 0 - 0
8;9         1 0 0 -
6;7         0 1 1 -
10;11       1 0 1 -
14;15       1 1 1 -

Gruppe 0
0;8         - 0 0 0
Gruppe 3
7;15        - 1 1 1

Gruppe 2
3;7         0 - 1 1
10;14       1 - 1 0

Gruppe 3
11;15       1 - 1 1 
Gruppe 1
8;10        1 0 - 0
Gruppe 2
5;7         0 1 - 1
9;11        1 0 - 1

Gruppe 1
8;9         1 0 0 -
Gruppe 2
6;7         0 1 1 -
10;11       1 0 1 -
Gruppe 3
14;15       1 1 1 -



Gruppe 0
0;8         - 0 0 0
Gruppe 3
7;15        - 1 1 1

Gruppe 2
3;7         0 - 1 1
10;14       1 - 1 0
Gruppe 3
11;15       1 - 1 1 

3;7;11;15       - - 1 1
10;14;11;15     1 - 1 -

Gruppe 1
8;10        1 0 - 0
Gruppe 2
5;7         0 1 - 1
9;11        1 0 - 1

5;7         0 1 - 1
8;10;9;11   1 0 - -


Gruppe 1
8;9         1 0 0 -
Gruppe 2
6;7         0 1 1 -
10;11       1 0 1 -
Gruppe 3
14;15       1 1 1 -

8;9;10;11   1 0 - - 
6;7;14;15   - 1 1 -
10;11;14;15 1 - 1 -




0;8         - 0 0 0
7;15        - 1 1 1
3;7;11;15   - - 1 1
10;14;11;15 1 - 1 -
5;7         0 1 - 1
8;10;9;11   1 0 - -
8;9;10;11   1 0 - - 
6;7;14;15   - 1 1 -
10;11;14;15 1 - 1 -

            0   3   5   6   7   8   9   10  11  14  15
0;8         *                   *
7;15                        *                       *
3;7;11;15       *           *               *       *
10;14;11;15                             *   *   *   *
5;7                 *       *
8;10;9;11                       *   *   *   *
6;7;14;15               *   *                   *   *


            0   3   5   6   7   8   9   10  11  14  15
0;8         *                   *
3;7;11;15       *           *               *       *
5;7                 *       *
8;10;9;11                       *   *   *   *
6;7;14;15               *   *                   *   *

y := (not c and not b and not a) or
    (b and ) or
    (not d and b and a) or
    (d and not c) or
    (d and b)