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

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


 1 0 0 0 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
 6 0 1 1 0    1
 8 1 0 0 0    1
 9 1 0 0 1    1
10 1 0 1 0    1
11 1 0 1 1    1
13 1 1 0 1    1


Gruppe 1
 1 0 0 0 1    1
 2 0 0 1 0    1
 4 0 1 0 0    1
 8 1 0 0 0    1
Gruppe 2 
 3 0 0 1 1    1
 5 0 1 0 1    1
 6 0 1 1 0    1
 9 1 0 0 1    1
10 1 0 1 0    1
Gruppe 3
11 1 0 1 1    1
13 1 1 0 1    1


1;3     0 0 - 1
2;3     0 0 1 -
1;5     0 - 0 1
1;9     - 0 0 1
2;6     0 - 1 0
2;10    - 0 1 0
4;5     0 1 0 -
8;9     1 0 0 -
8;10    1 0 - 1
3;11    - 0 1 1
5;13    - 1 0 1
9;11    1 0 - 1
10;11   1 0 1 -



2;3     0 0 1 -
4;5     0 1 0 -
8;9     1 0 0 -
10;11   1 0 1 -
1;3     0 0 - 1
8;10    1 0 - 1
9;11    1 0 - 1
2;6     0 - 1 0
1;5     0 - 0 1
3;11    - 0 1 1
5;13    - 1 0 1
2;10    - 0 1 0
1;9     - 0 0 1


Gruppe 1
2;3     0 0 1 -
4;5     0 1 0 -
8;9     1 0 0 -
Gruppe 2
10;11   1 0 1 -

2;3;10;11       - 0 1 -
8;9;10;11       1 0 - -
4;5             0 1 0 -


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


Gruppe 1
1;3     0 0 - 1
Gruppe 2
8;10    1 0 - 1
9;11    1 0 - 1

1;3;8;10        - 0 - 1
1;3;9;11        - 0 - 1

y := (not c and a)


Gruppe 1
2;6     0 - 1 0
1;5     0 - 0 1

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

Gruppe 1
2;10    - 0 1 0
1;9     - 0 0 1
Gruppe 2
3;11    - 0 1 1
5;13    - 1 0 1

2;10;3;11       - 0 1 -
1;9;5;13        - - 0 1


2;3;10;11       - 0 1 -
2;10;3;11       - 0 1 -
8;9;10;11       1 0 - -
4;5             0 1 0 -
1;3;8;10        - 0 - 1
1;3;9;11        - 0 - 1
2;6             0 - 1 0
1;5             0 - 0 1
1;9;5;13        - - 0 1

            1   2   3   4   5   6   8   9   10  11  13
2;3;10;11       *   *                       *   *
2;10;3;11       *   *                       *   *
8;9;10;11                           *   *   *   *
4;5                     *   *
1;3;8;10    *       *               *       *
1;3;9;11    *       *                   *       *
2;6             *               *
1;5         *               *
1;9;5;13    *               *           *           *


            1   2   3   4   5   6   8   9   10  11  13
2;10;3;11       *   *                       *   *
8;9;10;11                           *   *   *   *
4;5                     *   *
2;6             *               *
1;9;5;13    *               *           *           *

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