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

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


 4 0 1 0 0    1
 5 0 1 0 1    1
 9 1 0 0 1    1
12 1 1 0 0    1
14 1 1 1 0    1
15 1 1 1 1    1

Gruppe 1
 4 0 1 0 0    1
Gruppe 2
 5 0 1 0 1    1
 9 1 0 0 1    1
12 1 1 0 0    1
Gruppe 3
14 1 1 1 0    1
Gruppe 4
15 1 1 1 1    1

4;5     0 1 0 -
4;12    - 1 0 0 
12;14   1 1 - 0
14;15   1 1 1 -

14;15   1 1 1 -
4;5     0 1 0 -
4;12    - 1 0 0 
12;14   1 1 - 0
9       1 0 0 1

        4   5   9   12  14  15
14;15                   *   *
4;5     *   *
4;12    *           *
12;14               *   *
9               *

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