/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/quine31.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    0
 6 0 1 1 0    1
 7 0 1 1 1    0
 8 1 0 0 0    0
 9 1 0 0 1    0
10 1 0 1 0    0
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    1

 2 0 0 1 0    1
 3 0 0 1 1    1
 4 0 1 0 0    1
 6 0 1 1 0    1
11 1 0 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1
15 1 1 1 1    1

Gruppe 1
 2 0 0 1 0    1
 4 0 1 0 0    1
Gruppe 2
 3 0 0 1 1    1
 6 0 1 1 0    1
 Gruppe 3
11 1 0 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1
Gruppe 4
15 1 1 1 1    1

2;3     0 0 1 - 
2;6     0 - 1 0
4;6     0 1 - 0
3;11    - 0 1 1 
6;14    - 1 1 0
11;15   1 - 1 1 
13;15   1 1 - 1
14;15   1 1 1 -

2;3     0 0 1 - 
14;15   1 1 1 -
4;6     0 1 - 0
13;15   1 1 - 1
2;6     0 - 1 0
11;15   1 - 1 1
3;11    - 0 1 1 
6;14    - 1 1 0
 
        2   3   4   6   11  13  14  15
2;3     *   *
14;15                           *   *
4;6             *   *
13;15                       *       *
2;6     *           *
11;15                   *           *
3;11        *           *
6;14                *           *


        2   3   4   6   11  13  14  15
2;3     *   *
14;15                           *   *
4;6             *   *
13;15                       *       *
11;15                   *           *


2;3     0 0 1 - 
14;15   1 1 1 -
4;6     0 1 - 0
13;15   1 1 - 1
11;15   1 - 1 1

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