Re: Quine Mc Cluskey and Automat

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


 0 0 0 0 0    1
 2 0 0 1 0    1
 3 0 0 1 1    1
 5 0 1 0 1    1
 7 0 1 1 1    1
 8 1 0 0 0    1
 9 1 0 0 1    1
12 1 1 0 0    1
13 1 1 0 1    1
15 1 1 1 1    1


Gruppe 0:
 0 0 0 0 0    1
Gruppe 1:
 2 0 0 1 0    1
 8 1 0 0 0    1
Gruppe 2:
 3 0 0 1 1    1
 5 0 1 0 1    1
 9 1 0 0 1    1
12 1 1 0 0    1
Gruppe 3:
 7 0 1 1 1    1
13 1 1 0 1    1
Gruppe 4:
15 1 1 1 1    1


Gruppe 0:
 0 0 0 0 0    1
Gruppe 1:
 2 0 0 1 0    1
 8 1 0 0 0    1
Gruppe 2:
 3 0 0 1 1    1
 5 0 1 0 1    1
 9 1 0 0 1    1
12 1 1 0 0    1
Gruppe 3:
 7 0 1 1 1    1
13 1 1 0 1    1
Gruppe 4:
15 1 1 1 1    1

0;2         0 0 - 0
0;8         - 0 0 0
2;3         0 0 1 -
8;9         1 0 0 -
8;12        1 - 0 0
3;7         0 - 1 1
5;13        - 1 0 1
9;13        1 - 0 1
12;13       1 1 0 -
7;15        - 1 1 1
13;15       1 1 - 1


13;15       1 1 - 1
0;8         - 0 0 0
5;13        - 1 0 1
7;15        - 1 1 1
8;12        1 - 0 0
3;7         0 - 1 1
9;13        1 - 0 1
0;2         0 0 - 0
2;3         0 0 1 -
8;9         1 0 0 -
12;13       1 1 0 -


13;15       1 1 - 1

Gruppe 0:
0;8         - 0 0 0
Gruppe 2:
5;13        - 1 0 1
Gruppe 3:
7;15        - 1 1 1

Gruppe 1:
8;12        1 - 0 0
Gruppe 2:
3;7         0 - 1 1
9;13        1 - 0 1

0;2         0 0 - 0

Gruppe 1:
2;3         0 0 1 -
8;9         1 0 0 -
Gruppe 2:
12;13       1 1 0 -



13;15       1 1 - 1

Gruppe 0:
0;8         - 0 0 0
Gruppe 2:
5;13        - 1 0 1
Gruppe 3:
7;15        - 1 1 1

0;8         - 0 0 0
5;13;7;15   - 1 - 1

Gruppe 1:
8;12        1 - 0 0
Gruppe 2:
3;7         0 - 1 1
9;13        1 - 0 1

3;7         0 - 1 1
8;12;9;13   1 - 0 -

0;2         0 0 - 0

Gruppe 1:
2;3         0 0 1 -
8;9         1 0 0 -
Gruppe 2:
12;13       1 1 0 -

2;3         0 0 1 -
8;9;12;13   1 - 0 -


13;15       1 1 - 1
0;8         - 0 0 0
5;13;7;15   - 1 - 1
3;7         0 - 1 1
8;12;9;13   1 - 0 -
0;2         0 0 - 0
2;3         0 0 1 -
8;9;12;13   1 - 0 -



0;8         - 0 0 0
3;7         0 - 1 1
0;2         0 0 - 0
13;15       1 1 - 1
2;3         0 0 1 -
8;9;12;13   1 - 0 -
8;12;9;13   1 - 0 -
5;13;7;15   - 1 - 1

Minimale Restueberdeckung

            0   2   3   5   7   8   9   12  13  15
0;8         *                   *
3;7                 *       *
0;2         *   *
13;15                                       *   *
2;3             *   *
8;9;12;13                       *   *   *   *
5;13;7;15               *   *               *   *



            0   2   3   5   7   8   9   12  13  15

0;2         *   *
2;3             *   *
8;9;12;13                       *   *   *   *
5;13;7;15               *   *               *   *


0;2         0 0 - 0
2;3         0 0 1 -
8;12;9;13   1 - 0 -
5;13;7;15   - 1 - 1

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