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


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


 2 0 0 1 0    1
 4 0 1 0 0    1
 7 0 1 1 1    1
 8 1 0 0 0    1
11 1 0 1 1    1
15 1 1 1 1    1

Gruppe 1
 2 0 0 1 0    1
 4 0 1 0 0    1
 8 1 0 0 0    1
Gruppe 3
 7 0 1 1 1    1
11 1 0 1 1    1
Gruppe 4
15 1 1 1 1    1

7;15        - 1 1 1 
11;15       1 - 1 1

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