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

 0 0 0 0 0    0
 1 0 0 0 1    0
 2 0 0 1 0    1
 3 0 0 1 1    1
 4 0 1 0 0    1
 5 0 1 0 1    1
 6 0 1 1 0    0
 7 0 1 1 1    1
 8 1 0 0 0    0
 9 1 0 0 1    1
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    1
15 1 1 1 1    1


 2 0 0 1 0    1
 3 0 0 1 1    1
 4 0 1 0 0    1
 5 0 1 0 1    1
 7 0 1 1 1    1
 9 1 0 0 1    1
10 1 0 1 0    1
12 1 1 0 0    1
13 1 1 0 1    1
14 1 1 1 0    1
15 1 1 1 1    1

Gruppe 1
 2 0 0 1 0    1
 4 0 1 0 0    1 
Gruppe 2
 3 0 0 1 1    1
 5 0 1 0 1    1
 9 1 0 0 1    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
14 1 1 1 0    1
Gruppe 4
15 1 1 1 1    1

2;3     0 0 1 -
2;10    - 0 1 0
4;5     0 1 0 -
4;12    - 1 0 0
3;7     0 - 1 1
5;7     0 1 - 1
9;13    1 - 0 1
10;14   1 - 1 0
12;14   1 1 - 0
7;15    - 1 1 1
13;15   1 1 - 1
14;15   1 1 1 -


2;3     0 0 1 -
4;5     0 1 0 -
14;15   1 1 1 -

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

3;7     0 - 1 1
9;13    1 - 0 1
10;14   1 - 1 0

12;14   1 1 - 0
5;7     0 1 - 1
13;15   1 1 - 1


Gruppe 1
2;3     0 0 1 -
4;5     0 1 0 -
Gruppe 3
14;15   1 1 1 -

Gruppe 1
2;10    - 0 1 0
4;12    - 1 0 0
Gruppe 3
7;15    - 1 1 1

Gruppe 2
3;7     0 - 1 1
9;13    1 - 0 1
10;14   1 - 1 0

Gruppe 2
12;14   1 1 - 0
5;7     0 1 - 1
Gruppe 3
13;15   1 1 - 1

12;14;5;7           1 1 - -
5;7;13;15           - 1 - 1

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