/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/quine42.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    1
 5 0 1 0 1    0
 6 0 1 1 0    0
 7 0 1 1 1    0
 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    1
13 1 1 0 1    0
14 1 1 1 0    0
15 1 1 1 1    1

 1 0 0 0 1    1
 4 0 1 0 0    1
10 1 0 1 0    1
12 1 1 0 0    1
15 1 1 1 1    1

Gruppe 1
 1 0 0 0 1    1
 4 0 1 0 0    1
Gruppe 2
10 1 0 1 0    1
12 1 1 0 0    1
Gruppe 4
15 1 1 1 1    1

10      1 0 1 0  
15      1 1 1 1   
1       0 0 0 1   
4;12    - 1 0 0 

x = (d and not c and b and a) or (d and c and b and a) or (not d and not c and not b and a) or (c and not b and not a)