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

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


 0 0 0 0 0    1
 1 0 0 0 1    1
 6 0 1 1 0    1
 7 0 1 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1

Gruppe 0
 0 0 0 0 0    1
Gruppe 1 
 1 0 0 0 1    1
Gruppe 2
 6 0 1 1 0    1
Gruppe 3
 7 0 1 1 1    1
13 1 1 0 1    1
14 1 1 1 0    1

0;1     0 0 0 -
6;7     0 1 1 -
13      1 1 0 1
6;14    - 1 1 0

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