/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-07-16-PC2/quine01.txt

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


 1 0 0 0 1    1
 6 0 1 1 0    1
 7 0 1 1 1    1
 8 1 0 0 0    1
10 1 0 1 0    1
12 1 1 0 0    1
13 1 1 0 1    1
15 1 1 1 1    1


Gruppe 1:
 1 0 0 0 1    1
 8 1 0 0 0    1
Gruppe 2:
 6 0 1 1 0    1
10 1 0 1 0    1
12 1 1 0 0    1
Gruppe 3
 7 0 1 1 1    1
13 1 1 0 1    1
Gruppe 4
15 1 1 1 1    1

1               0 0 0 1
8;10            1 0 - 0
8;12            1 - 0 0
6;7             0 1 1 -
12;13           1 1 0 -
7;15            - 1 1 1
13;15           1 1 - 1


7;15            - 1 1 1
8;12            1 - 0 0
8;10            1 0 - 0
13;15           1 1 - 1
6;7             0 1 1 -
12;13           1 1 0 -
1               0 0 0 1


7;15            - 1 1 1
8;12            1 - 0 0
Gruppe 1
8;10            1 0 - 0
Gruppe 3
13;15           1 1 - 1
Gruppe 2
6;7             0 1 1 -
Gruppe 2
12;13           1 1 0 -
1               0 0 0 1


7;15            - 1 1 1
8;12            1 - 0 0
8;10            1 0 - 0
13;15           1 1 - 1
6;7             0 1 1 -
12;13           1 1 0 -
1               0 0 0 1

                1   6   7   8   10  12  13  15
7;15                    *                   *
8;12                        *       *
8;10                        *   *
13;15                                   *   *
6;7                 *   *
12;13                               *   *
1               *


                1   6   7   8   10  12  13  15
8;12                        *       *
8;10                        *   *
13;15                                   *   *
6;7                 *   *
1               *

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