Re: Quine Mc Cluskey and Automat

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

 0 0 0 0 0    1
 1 0 0 0 1    1
 2 0 0 1 0    1
 3 0 0 1 1    1
 4 0 1 0 0    1
 7 0 1 1 1    1
 8 1 0 0 0    1
10 1 0 1 0    1
11 1 0 1 1    1
14 1 1 1 0    1

Gruppe 0:
 0 0 0 0 0    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
10 1 0 1 0    1
Gruppe 3:
 7 0 1 1 1    1
11 1 0 1 1    1
14 1 1 1 0    1


0;1         0 0 0 -
0;2         0 0 - 0
0;4         0 - 0 0
0;8         - 0 0 0
1;3         0 0 - 1
2;3         0 0 1 -
8;10        1 0 - 0
3;7         0 - 1 1
3;11        - 0 1 1
10;11       1 0 1 -
10;14       1 - 1 0


0;1         0 0 0 -
2;3         0 0 1 -
10;11       1 0 1 -
0;2         0 0 - 0
8;10        1 0 - 0
1;3         0 0 - 1
0;4         0 - 0 0
10;14       1 - 1 0
3;7         0 - 1 1
0;8         - 0 0 0
3;11        - 0 1 1


0;1         0 0 0 -
2;3         0 0 1 -
10;11       1 0 1 -

0;2         0 0 - 0
8;10        1 0 - 0
1;3         0 0 - 1

0;4         0 - 0 0
10;14       1 - 1 0
3;7         0 - 1 1

0;8         - 0 0 0
3;11        - 0 1 1


Gruppe 0:
0;1         0 0 0 -
Gruppe 1:
2;3         0 0 1 -
Gruppe 2:
10;11       1 0 1 -

Gruppe 0:
0;2         0 0 - 0
Gruppe 1:
8;10        1 0 - 0
1;3         0 0 - 1

Gruppe 0:
0;4         0 - 0 0
Gruppe 2:
10;14       1 - 1 0
3;7         0 - 1 1

Gruppe 0:
0;8         - 0 0 0
Gruppe 2:
3;11        - 0 1 1


Gruppe 0:
0;1         0 0 0 -
Gruppe 1:
2;3         0 0 1 -
Gruppe 2:
10;11       1 0 1 -

0;1;2;3         0 0 - -
2;3;10;11       - 0 1 -

Gruppe 0:
0;2         0 0 - 0
Gruppe 1:
8;10        1 0 - 0
1;3         0 0 - 1

0;2;8;10            - 0 - 0
0;2;1;3             0 0 - -

Gruppe 0:
0;4         0 - 0 0
Gruppe 2:
10;14       1 - 1 0
3;7         0 - 1 1

Gruppe 0:
0;8         - 0 0 0
Gruppe 2:
3;11        - 0 1 1



0;1;2;3         0 0 - -
2;3;10;11       - 0 1 -

0;2;8;10            - 0 - 0
0;2;1;3             0 0 - -

Gruppe 0:
0;4         0 - 0 0
Gruppe 2:
10;14       1 - 1 0
3;7         0 - 1 1

Gruppe 0:
0;8         - 0 0 0
Gruppe 2:
3;11        - 0 1 1



0;1;2;3     0 0 - -
2;3;10;11   - 0 1 -
0;2;8;10    - 0 - 0
0;2;1;3     0 0 - -
0;4         0 - 0 0
10;14       1 - 1 0
3;7         0 - 1 1
0;8         - 0 0 0
3;11        - 0 1 1


0;1;2;3     0 0 - -
2;3;10;11   - 0 1 -
0;2;8;10    - 0 - 0
0;4         0 - 0 0
10;14       1 - 1 0
3;7         0 - 1 1
0;8         - 0 0 0
3;11        - 0 1 1

Minimale Rest"uberdeckung

            0   1   2   3   4   7   8   10  11  14
0;1;2;3     *   *   *   *
2;3;10;11           *   *               *   *
0;2;8;10    *       *               *   *
0;4         *               *
10;14                                   *       *
3;7                     *       *
0;8         *                       *
3;11                    *                   *


            0   1   2   3   4   7   8   10  11  14
0;1;2;3     *   *   *   *
2;3;10;11           *   *               *   *
0;2;8;10    *       *               *   *
0;4         *               *
10;14                                   *       *
3;7                     *       *


0;1;2;3     0 0 - -
2;3;10;11   - 0 1 -
0;2;8;10    - 0 - 0
0;4         0 - 0 0
10;14       1 - 1 0
3;7         0 - 1 1

y <= (not x3 and not x2) or (not x2 and x1) or (not x2 and x1) or (not x2 and not x0) or (not x3 and not x1 and not x0) or (x3 and x1 and not x0) or (not x3 and x1 and x0)