./vhdl20250304/automat20250304.txt

-- (C) David Vajda
-- Tue Mar  4 17:08:33 2025
-- Automat

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



	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	1
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	0
4	1 0 0	1
5	1 0 1	0
6	1 1 0	1
7	1 1 1	1

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





	b a x	b
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

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

	b a x	y
0	0 0 0	1
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
6	1 1 0	1




	b a x	b
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

	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:
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

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



	b a x	b
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

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


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


		1	4	5	6
4:5			=	=
1:4		=	=
4:6			=		=
1:5		=		=

		1	4	5	6
4:6			=		=
1:5		=		=

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

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

	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:
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

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


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


		0	1	4	6	7
0:4		=		=
4:6				=	=
6:7					=	=
0:1		=	=

		0	1	4	6	7
4:6				=	=
6:7					=	=
0:1		=	=

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

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

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

0:1			0	0	-
0:2			0	-	0
1:3			0	-	1
2:3			0	1	-
2:6			-	1	0


0:1			0	0	-
2:3			0	1	-
0:2			0	-	0
1:3			0	-	1
2:6			-	1	0

0:1:2:3			0	-	-
0:2:1:3			0	-	-
2:6				-	1	0

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


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