Re: Quine Mc Cluskey and Automat

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


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

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

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



	b a x	b
0	0 0 0	1
1	0 0 1	1
6	1 1 0	1

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

	b a x	y
1	0 0 1	1
4	1 0 0	1
6	1 1 0	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:
6	1 1 0	1

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

	b a x	y
Gruppe 1:
1	0 0 1	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	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:
6	1 1 0	1

0:1     0 0 -
6       1 1 0

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

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

0:1     0 0 -
0:4     - 0 0
1:3     0 - 1
1:5     - 0 1
4:5     1 0 -
4:6     1 - 0
3:7     - 1 1
5:7     1 - 1
6:7     1 1 -

Gruppe 0:
0:1     0 0 -
Gruppe 1:
4:5     1 0 -
Gruppe 2:
6:7     1 1 -

0:1:4:5     - 0 -
4:5:6:7     1 - -

Gruppe 1:
1:3     0 - 1
4:6     1 - 0
Gruppe 2:
5:7     1 - 1

1:3:4:6     - - 1
4:6:5:7     1 - -


Gruppe 0:
0:4     - 0 0
Gruppe 1:
1:5     - 0 1
Gruppe 2:
3:7     - 1 1

0:4:1:5     - 0 -
1:5:3:7     - - 1


0:1:4:5     - 0 -
4:5:6:7     1 - -
1:3:4:6     - - 1
4:6:5:7     1 - -
0:4:1:5     - 0 -
1:5:3:7     - - 1

4:6:5:7     1 - -
0:4:1:5     - 0 -
1:5:3:7     - - 1

a <= b or not a and x

Minimale Rest"uberdeckung

            0   1   3   4   5   6   7
4:6:5:7                 *   *   *   *
0:4:1:5     *   *       *   *
1:5:3:7         *   *       *       *

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

1       0 0 1
4:6     1 - 0
6:7     1 1 -

            1   4   6   7
1           *
4:6             *   *
6:7                 *   *

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

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