/media/sda-magnetic/david/Extern-Magnetic-2022-06-29/Extern01/Dokumente-11-2021-07-05/informatik-math/fsm-2021-07-16/quine00001.txt

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


0;1         0 0 0 -
0;2         0 0 - 0
2;6         0 - 1 0
6;7         0 1 1 -
6;14        - 1 1 0
7;15        - 1 1 1
14;15       1 1 1 -

14;15       1 1 1 -
6;7         0 1 1 -
0;1         0 0 0 -
0;2         0 0 - 0
2;6         0 - 1 0
6;14        - 1 1 0
7;15        - 1 1 1


Gruppe 3:
14;15       1 1 1 -
Gruppe 2:
6;7         0 1 1 -
Gruppe 0:
0;1         0 0 0 -


6;7;14;15   - 1 1 -
0;1         0 0 0 -

0;2         0 0 - 0
2;6         0 - 1 0

Gruppe 2:
6;14        - 1 1 0
Gruppe 3:
7;15        - 1 1 1
6;14;7;15   - 1 1 -




6;7;14;15   - 1 1 -
0;1         0 0 0 -
0;2         0 0 - 0
2;6         0 - 1 0

                0   1   2   6   7   14  15
6;7;14;15                   *   *   *   *
0;1             *   *
0;2             *       *
2;6                     *   *


                0   1   2   6   7   14  15
6;7;14;15                   *   *   *   *
0;1             *   *
0;2             *       *

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