/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl-2023-11-28/automat0028d.txt

	b a x	b a y0 y1 y2
0	0 0 0	0 1  0  0  0
1	0 0 1	1 0  1  0  0
2	0 1 0	0 1  0  0  0
3	0 1 1	0 0  1  0  0
4	1 0 0	1 1  0  1  0
5	1 0 1	1 0  0  0  0
6	1 1 0	0 0  1  0  0
7	1 1 1	1 1  1  0  1


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

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

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

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



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

	b a x	a
0	0 0 0	1
2	0 1 0	1
4	1 0 0	1
7	1 1 1	1

	b a x	y0
1	0 0 1	1
3	0 1 1	1
6	1 1 0	1
7	1 1 1	1

	b a x	y1
4	1 0 0	1

	b a x	y2
7	1 1 1	1



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

	b a x	a
0	0 0 0	1
2	0 1 0	1
4	1 0 0	1
7	1 1 1	1

	b a x	y0
1	0 0 1	1
3	0 1 1	1
6	1 1 0	1
7	1 1 1	1

	b a x	y1
4	1 0 0	1

	b a x	y2
7	1 1 1	1



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

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

		1	4	5	7
1:5		*		*
4:5			*	*
5:7				*	*


DNF:
b <= 	(not a and x) or
		(b and not a) or
		(b and x);
KNF:
b <= 	not (
			(a or not x) and
			(not b or a) and
			(not b or not x)
		)


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

0:2		0 - 0
0:4		- 0 0
7		1 1 1

		0	2	4	7
0:2		*	*
0:4		*		*
7					*

DNF:
a <= (not b and not x) or
		(not a and not x) or
		(b and a and x);
KNF:
a <= not((b or x) and
			(a or x) and
			(not b or not a or not x));



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

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

		1	3	6	7
1:3		*	*
3:7			*		*
6:7				*	*

		1	3	6	7
1:3		*	*
6:7				*	*



DNF:
b <= (b and not a) or
		(b and x);
KNF:
b <= not ((not b or a) and
			(not b or not x));

DNF:
a <= (not b and x) or
		(not a and not x) or
		(b and a and x);
KNF:
a <= not((b or not x) and
			(a or x) and
			(not b or not a or not x));

DNF:
y0 <= (not b and x) or
		(b and a);
KNF:
y0 <= not ((b or not x) and
			(not b or not a));

	b a x	y1
4	1 0 0	1

DNF:
y1 <= (b and not a and not x);
KNF:
y2 <= (not (not b or a or x));

	b a x	y2
7	1 1 1	1
DNF:
y2 <= (b and a and x);
KNF:
y2 <= not(not b or not a or not x);

DNF:
b <= (b and not a) or
		(b and x);
KNF:
b <= not ((not b or a) and
			(not b or not x));
DNF:
a <= (not b and x) or
		(not a and not x) or
		(b and a and x);
KNF:
a <= not((b or not x) and
			(a or x) and
			(not b or not a or not x));
DNF:
y0 <= (not b and x) or
		(b and a);
KNF:
y0 <= not ((b or not x) and
			(not b or not a));
DNF:
y1 <= (b and not a and not x);
KNF:
y2 <= (not (not b or a or x));

-- den VHDL Code nur mit DNF

entity meinautomat0028ausgangschaltnetz is
port
(
	a, b, x: in bit;
	y0, y1, y2: out bit
);
end;

entity meinautomat0028uebergangsschaltnetz is
port
(
	a, b: inout bit;
	x: in bit
);
end;

architecture verhalten of meinautomat0028ausgangschaltnetz is
begin
	y0 <= (not b and x) or
		(b and a);
	y1 <= (b and not a and not x);
	y2 <= (b and a and x);
end;

architecture verhalten of meinautomat0028uebergangsschaltnetz is
begin
	b <= (b and not a) or
		(b and x);
	a <= (not b and x) or
		(not a and not x) or
		(b and a and x);
end;