Re: Quine Mc Cluskey and Automat

	b a x	b a y
0	0 0 0	1 0 0
1	0 0 1	1 0 0
2	0 1 0	0 1 0
3	0 1 1	1 0 1
4	1 0 0	0 0 1
5	1 0 1	0 1 1
6	1 1 0	0 0 0
7	1 1 1	1 0 1


	b a x	b
0	0 0 0	1
1	0 0 1	1
2	0 1 0	0
3	0 1 1	1
4	1 0 0	0
5	1 0 1	0
6	1 1 0	0
7	1 1 1	1

	b a x	a
0	0 0 0	0
1	0 0 1	0
2	0 1 0	1
3	0 1 1	0
4	1 0 0	0
5	1 0 1	1
6	1 1 0	0
7	1 1 1	0

	b a x	y
0	0 0 0	0
1	0 0 1	0
2	0 1 0	0
3	0 1 1	1
4	1 0 0	1
5	1 0 1	1
6	1 1 0	0
7	1 1 1	1



	b a x	b
0	0 0 0	1
1	0 0 1	1
3	0 1 1	1
7	1 1 1	1

	b a x	a
2	0 1 0	1
5	1 0 1	1

	b a x	y
3	0 1 1	1
4	1 0 0	1
5	1 0 1	1
7	1 1 1	1



	b a x	b
Gruppe 0:
0	0 0 0	1
Gruppe 1:
1	0 0 1	1
Gruppe 2:
3	0 1 1	1
Gruppe 3:
7	1 1 1	1

	b a x	a
Gruppe 1:
2	0 1 0	1
Gruppe 2:
5	1 0 1	1

	b a x	y
Gruppe 1:
4	1 0 0	1
3	0 1 1	1
5	1 0 1	1
Gruppe 3:
7	1 1 1	1



	b a x	b
Gruppe 0:
0	0 0 0	1
Gruppe 1:
1	0 0 1	1
Gruppe 2:
3	0 1 1	1
Gruppe 3:
7	1 1 1	1

0;1         0 0 -
1;3         0 - 1
3;7         - 1 1

Mnimale Rest"uberdeckung

        0   1   3   7
0;1     *   *
1;3         *   *
3;7             *   *

b <= (not b and not a) or (a and x)

	b a x	a
Gruppe 1:
2	0 1 0	1
Gruppe 2:
5	1 0 1	1

a <= (not b and a and not x) or (b and not a and x)

	b a x	y
Gruppe 1:
4	1 0 0	1
Gruppe 2:
3	0 1 1	1
5	1 0 1	1
Gruppe 3:
7	1 1 1	1

4;5     1 0 -
3;5     - 1 1
5;7     1 - 1

4;5     1 0 -
5;7     1 - 1
3;5     - 1 1

Minimale Rest"uberdeckung

        3   4   5   7
4;5         *   *
5;7             *   *
3;5     *       *

y <= (b and not a) or (b and x) or (a and x)


b <= (not b and not a) or (a and x)
a <= (not b and a and not x) or (b and not a and x)
y <= (b and not a) or (b and x) or (a and x)