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

 0 0 0 0 0    1
 1 0 0 0 1    1
 2 0 0 1 0    0
 3 0 0 1 1    0
 4 0 1 0 0    1
 5 0 1 0 1    1
 6 0 1 1 0    0
 7 0 1 1 1    0
 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    1
13 1 1 0 1    1
14 1 1 1 0    0
15 1 1 1 1    0


 0 0 0 0 0    1
 1 0 0 0 1    1
 4 0 1 0 0    1
 5 0 1 0 1    1
 8 1 0 0 0    1
10 1 0 1 0    1
11 1 0 1 1    1
12 1 1 0 0    1
13 1 1 0 1    1


Gruppe 0
 0 0 0 0 0    1
Gruppe 1
 1 0 0 0 1    1
 4 0 1 0 0    1
 8 1 0 0 0    1
Gruppe 2
 5 0 1 0 1    1
10 1 0 1 0    1
12 1 1 0 0    1
Gruppe 3
11 1 0 1 1    1
13 1 1 0 1    1

0;1     0 0 0 -
0;4     0 - 0 0
0;8     - 0 0 0
1;5     0 - 0 1
8;10    1 0 - 0
8;12    1 - 0 0
5;13    - 1 0 1
10:11   1 0 1 -
12;13   1 1 0 -


0;8     - 0 0 0
5;13    - 1 0 1
8;12    1 - 0 0
1;5     0 - 0 1
0;4     0 - 0 0
8;10    1 0 - 0
0;1     0 0 0 -
10:11   1 0 1 -
12;13   1 1 0 -



0;8     - 0 0 0
5;13    - 1 0 1

Gruppe 0
0;4     0 - 0 0
Gruppe 1
8;12    1 - 0 0
1;5     0 - 0 1

8;10    1 0 - 0

Gruppe 0
0;1     0 0 0 -

Gruppe 2
10:11   1 0 1 -
12;13   1 1 0 -



0;8     - 0 0 0
5;13    - 1 0 1

Gruppe 0
0;4     0 - 0 0
Gruppe 1
8;12    1 - 0 0
1;5     0 - 0 1

0;4;8;12        - - 0 0
0;4;1;5         0 - 0 -

8;10    1 0 - 0

Gruppe 0
0;1     0 0 0 -

Gruppe 2
10:11   1 0 1 -
12;13   1 1 0 -



0;8             - 0 0 0
5;13            - 1 0 1
0;4;8;12        - - 0 0
0;4;1;5         0 - 0 -
8;10            1 0 - 0
0;1             0 0 0 -
10:11           1 0 1 -
12;13           1 1 0 -

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

            0   1   4   5   8   10  11  12  13
0;8         *               *
5;13                    *                   *
0;4;8;12    *       *       *           *
0;4;1;5     *   *   *   *
8;10                        *   *
0;1         *   *
10;11                           *   *
12;13                                   *   *


            0   1   4   5   8   10  11  12  13
5;13                    *                   *
0;4;8;12    *       *       *           *
0;4;1;5     *   *   *   *
8;10                        *   *
10;11                           *   *



5;13            - 1 0 1
0;4;8;12        - - 0 0
0;4;1;5         0 - 0 -
8;10            1 0 - 0
10:11           1 0 1 -

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