Re: Quine Mc Cluskey and Automat

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


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



	b a x	b
1	0 0 1	1
2	0 1 0	1
5	1 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

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


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

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

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


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

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

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

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

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

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

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

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



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

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

2;6;5;7     1 - -

Minimale Rest"uberdeckung

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

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

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

Das ist seltsam, aber egal.

Stimmt auch nicht, minimale Rest"uberdeckung falsch gemacht, hingucken


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

y <= b or (not a and x)

So ist es richtig, beim Aufschreiben der Minimalen Rest"uberdeckung habe ich nicht richtig geguckt, 5;7 ist bereits im Ausdruck und 1;5 "ubersehen. Jetzt richtig.

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