/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-06-28/quine01.txt

 0 0 0 0 0    0
 1 0 0 0 1    0
 2 0 0 1 0    1
 3 0 0 1 1    1
 4 0 1 0 0    1
 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    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    1


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

Gruppe 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
 5 0 1 0 1    1
10 1 0 1 0    1
12 1 1 0 0    1
Gruppe 3
 7 0 1 1 1    1
11 1 0 1 1    1
13 1 1 0 1    1
Gruppe 4
15 1 1 1 1    1

2;4         0 0 1 -
2;10        - 0 1 0
4;5         0 1 0 -
4;12        - 1 0 0
8;10        1 0 - 0
8:12        1 - 0 0
3;7         0 - 1 1 
3;11        - 0 1 1
5;7         0 1 - 1
5;13        - 1 0 1
10;11       1 0 1 -
12;13       1 1 0 -
7:15        - 1 1 1
11;15       1 - 1 1
13;15       1 1 - 1


2;10        - 0 1 0
4;12        - 1 0 0
3;11        - 0 1 1
5;13        - 1 0 1
7:15        - 1 1 1
3;7         0 - 1 1
11;15       1 - 1 1
8:12        1 - 0 0
13;15       1 1 - 1
5;7         0 1 - 1
8;10        1 0 - 0
12;13       1 1 0 -
10;11       1 0 1 -
2;4         0 0 1 -
4;5         0 1 0 -


Gruppe 1
2;10        - 0 1 0
4;12        - 1 0 0
Gruppe 2
3;11        - 0 1 1
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
Gruppe 3
11;15       1 - 1 1

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


Gruppe 1
2;4         0 0 1 -
4;5         0 1 0 -
Gruppe 2
12;13       1 1 0 -
10;11       1 0 1 -



Gruppe 1
2;10        - 0 1 0
4;12        - 1 0 0
Gruppe 2
3;11        - 0 1 1
5;13        - 1 0 1
Gruppe 3
7:15        - 1 1 1


2;10;3;11       - 0 1 -
4;12;5;13       - 1 0 -
3;11;7;15       - - 1 1
5;13;7;15       - 1 - 1

Gruppe 1
8:12        1 - 0 0
Gruppe 2
3;7         0 - 1 1
Gruppe 3
11;15       1 - 1 1

8;12            1 - 0 0
3;7;11;15       - - 1 1


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

8;10            1 0 - 0
5;7;13;15       - 1 - 1


Gruppe 1
2;4         0 0 1 -
4;5         0 1 0 -
Gruppe 2
12;13       1 1 0 -
10;11       1 0 1 -

2;4;12;13       - 0 1 -
4;5;12;13       - 1 9 -


2;10;3;11       - 0 1 -
4;12;5;13       - 1 0 -
3;11;7;15       - - 1 1
5;13;7;15       - 1 - 1
8;12            1 - 0 0
3;7;11;15       - - 1 1
8;10            1 0 - 0
5;7;13;15       - 1 - 1
2;4;12;13       - 0 1 -
4;5;12;13       - 1 0 -

                2   3   4   5   7   8   10  11  12  13  15
2;10;3;11       *   *                   *   *
4;12;5;13               *   *                   *   *
3;11;7;15           *           *           *           *
5;13;7;15                   *   *                   *   *
8;12                                *           *
3;7;11;15           *           *           *           *
8;10                                *   *
5;7;13;15                   *   *                   *   *
2;4;12;13       *       *                        *  *
4;5;12;13               *   *                   *   *


                2   3   4   5   7   8   10  11  12  13  15
2;10;3;11       *   *                   *   *
4;12;5;13               *   *                   *   *
3;11;7;15           *           *           *           *
8;12                                *           *

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