/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-01/informatik2/2021-05-07-automat/quine17.txt

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



 1 0 0 0 1    1
 2 0 0 1 0    1
 6 0 1 1 0    1
 7 0 1 1 1    1
10 1 0 1 0    1
11 1 0 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1

Gruppe 1:
 1 0 0 0 1    1
 2 0 0 1 0    1
Gruppe 2
 6 0 1 1 0    1
10 1 0 1 0    1
Gruppe 3
 7 0 1 1 1    1
11 1 0 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1


1       0 0 0 1
2;6     0 - 1 0
2;10    - 0 1 0
6;7     0 1 1 -
6;14    - 1 1 0
10;11   1 0 1 - 
10;14   1 - 1 0
13      1 1 0 1



1       0 0 0 1
13      1 1 0 1
6;14    - 1 1 0
2;10    - 0 1 0
2;6     0 - 1 0
10;14   1 - 1 0
6;7     0 1 1 -
10;11   1 0 1 - 

Gruppe 1:
2;10    - 0 1 0
Gruppe 2:
6;14    - 1 1 0
2;10;6;14   - - 1 0

Gruppe 1:
2;6     0 - 1 0
Grupp2 2;
10;14   1 - 1 0

2;6;10;14   - - 1 0

1               0 0 0 1
13              1 1 0 1
6;14            - 1 1 0
2;10            - 0 1 0
2;6             0 - 1 0
10;14           1 - 1 0
6;7             0 1 1 -
10;11           1 0 1 - 
2;6:10;14       - - 1 0

                1   2   6   7   10  11  13  14
1               *
13                                      *
2;6;10;14           *   *       *           *
6;14                    *                   *
2;10                *           *
2;6                 *   *
10;14                           *           *
6;7                     *   *
10;11                           *   *   

                1   2   6   7   10  11  13  14
1               *
13                                      *
2;6;10;14           *   *       *           *
6;7                     *   *
10;11                           *   *   

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