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

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


Gruppe 0
 0 0 0 0 0    1
Gruppe 1
 2 0 0 1 0    1
 4 0 1 0 0    1
Gruppe 2
10 1 0 1 0    1
Gruppe 3
 7 0 1 1 1    1
13 1 1 0 1    1
Gruppe 4
15 1 1 1 1    1

0;2         0 0 - 0
0;4         0 - 0 0
2;10        - 0 1 0
7;15        - 1 1 1
13;15       1 1 - 1

13;15       1 1 - 1
0;2         0 0 - 0
0;4         0 - 0 0
2;10        - 0 1 0
7;15        - 1 1 1

            0   2   4   7   10  13  15
13;15                           *   *
0;2         *   *
0;4         *       *
2;10            *           *
7;15                    *           *


            0   2   4   7   10  13  15
13;15                           *   *
0;4         *       *
2;10            *           *
7;15                    *           *

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