Re: Quine Mc Cluskey and Automat

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


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

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

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




	b a x	b
0	0 0 0	1
4	1 0 0	1

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

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

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

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

0;4     - 0 0

b <= (not a and not x)

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

0;1     0 0 -
0;2     0 - 0
0;4     - 0 0
1;5     - 0 1
4;5     1 0 -
2;6     - 1 0
4;6     1 - 0

4;5     1 0 -
0;1     0 0 -
4;5;0;1     - 0 -

0;2     0 - 0
4;6     1 - 0

0;2;4;6     - - 0

0;4     - 0 0
1;5     - 0 1
2;6     - 1 0

0;4;1;5     - 0 -
0;4;2;6     - - 0

0;4;1;5
0;4;2;6

Minimale Restueberdeckung

            0   1   2   4   5   6
0;1;4;5     *   *       *   *
0;2;4;6     *       *   *       *

a <= not a or not x


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

1       0 0 1
2;6     - 1 0
6;7     1 1 -

Minimale Rest"uberdeckung

        1   2   6   7
1       *
2;6         *   *
6;7             *   *

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

Image 20230925_181850

Image 20230925_183525