/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/quine52.txt

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


 0 0 0 0 0    1
 4 0 1 0 0    1
 5 0 1 0 1    1
 6 0 1 1 0    1
 7 0 1 1 1    1
11 1 0 1 1    1
12 1 1 0 0    1

Gruppe 0
 0 0 0 0 0    1
Gruppe 1
 4 0 1 0 0    1
Gruppe 2
 5 0 1 0 1    1
 6 0 1 1 0    1
12 1 1 0 0    1
Gruppe 3
 7 0 1 1 1    1
11 1 0 1 1    1

0;4         0 - 0 0 
4;5         0 1 0 -
4;6         0 1 - 0
4;12        - 1 0 0
5;7         0 1 - 1
6;7         0 1 1 -
12          1 1 0 0
11          1 0 1 1

 
4;5         0 1 0 -
6;7         0 1 1 -
5;7         0 1 - 1
4;6         0 1 - 0
0;4         0 - 0 0
4;12        - 1 0 0
12          1 1 0 0
11          1 0 1 1 



Gruppe 1
4;5         0 1 0 -
Gruppe 2
6;7         0 1 1 -

4;5;6;7     0 1 - -

Gruppe 1
4;6         0 1 - 0
Gruppe 2
5;7         0 1 - 1
4;6;5;7     0 1 - - 


0;4         0 - 0 0
4;12        - 1 0 0
12          1 1 0 0
11          1 0 1 1


Gruppe 1
4;5         0 1 0 -
Gruppe 2
6;7         0 1 1 -

4;5;6;7     0 1 - -

Gruppe 1
4;6         0 1 - 0
Gruppe 2
5;7         0 1 - 1
4;6;5;7     0 1 - - 


0;4         0 - 0 0
4;12        - 1 0 0
11          1 0 1 1
4;6;5;7     0 1 - -

            0   4   5   6   7   11  12
0;4         *   *
4;12            *                   *
11                              *
4;5;6;7         *   *   *   *

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