/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl-2023-12-31/automat0054.txt

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


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

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

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

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

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

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

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


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

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

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


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

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

		0	4	5	7
0:4		*	*
4:5			*	*
5:7				*	*

		0	4	5	7
0:4		*	*
5:7				*	*

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


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

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


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

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

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

1:5:3:7		- - 1
2:6:37		- 1 -

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

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


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

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

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

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