/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/fsm/fsm/2021-05-07-automat/quine15.txt

 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    0
 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    0
13 1 1 0 1    1
14 1 1 1 0    0
15 1 1 1 1    1


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

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

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


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

0;2         0 0 - 0
1;3         0 0 - 1
8;10        1 0 - 0
13;15       1 1 - 1

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

0;2;1;3     0 0 - -
0;2;8;10    - 0 - 0
13;15       1 1 - 1

---------------------------

0;8         - 0 0 0
2;10        - 0 1 0
5;13        - 1 0 1

0;8;2;10    - 0 - 0
5;13        - 1 0 1


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


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


            0   1   2   3   5   8   10  11  13  15
0;8;2;10    *       *           *   *
5;13                        *               *
0;2;1;3     *   *   *   *
13;15                                       *   *
0;1         *   *
10;11                               *   *
11;15                                   *       *
1;5             *           *


            0   1   2   3   5   8   10  11  13  15
0;8;2;10    *       *           *   *
5;13                        *               *
0;2;1;3     *   *   *   *
13;15                                       *   *
10;11                               *   *

(not x2 and not x0) or (x2 and not x1 and x0) or (not x3 and not x2) or (x3 and x2 and x0) or (x3 and not x2 and x1)