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


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


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

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

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

	b a x	a
1	0 0 1	1
3	0 1 1	1
5	1 0 1	1
7	1 1 1	1

	b a x	y
0	0 0 0	1
1	0 0 1	1
7	1 1 1	1


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

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



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

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


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

Gruppe 0:
0:1			0 0 -
Gruppe 1:
2:3			0 1 -

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

Gruppe 0:
0:4			- 0 0
Gruppe 1:
2:6			- 0 1

Gruppe 0:
0:1			0 0 -
Gruppe 1:
2:3			0 1 -

0:1:2:3		0 - -

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

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

Gruppe 0:
0:4			- 0 0
Gruppe 1:
2:6			- 0 1

0:4:2:6		- - 0

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

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


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

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

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

1:3:5:7		- - 1

a <= x;
a <= not (not x);


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

0:1			0 0 -
7			1 1 1

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


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


library ieee;
use ieee.std_logic_1164.all;

entity meinausgangsschaltnetz0045 is
port (
	y: out std_logic;
	a, b, x: in std_logic
);
end;

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

library ieee;
use ieee.std_logic_1164.all;

entity meinuebergangsschaltnetz0045 is
port (
	b, a, x: in std_logic;
	bout, aout: out std_logic
);
end;

architecture verhalten of meinuebergangsschaltnetz0045 is
begin
	bout <= (not x or not b);
	-- bout <= not (x and b);
	aout <= x;
	-- aout <= not (not x);
end;

library ieee;
use ieee.std_logic_1164.all;

entity meintestbench0045 is
port (
	y: out std_logic;
	aout, bout: out std_logic
);
end;

architecture verhalten of meintestbench0045 is
	component meinausgangsschaltnetz0045
	port (
		y: out std_logic;
		b, a, x: in std_logic
	);
	end component;
	component meinuebergangsschaltnetz0045
	port (
		b, a, x: in std_logic;
		bout, aout: out std_logic
	);
	end component;
	signal b, a, x: std_logic;
begin
	snaus: meinausgangsschaltnetz0045 PORT MAP (b=>b, a=>a, x=>x, y=>y);
	snueber: meinuebergangsschaltnetz0045 PORT MAP (b=>b, a=>a, x=>x, bout=>bout, aout=>aout);

	x <= '0' after 0 ns, '1' after 10 ns, '0' after 20 ns, '1' after 30 ns, '0' after 40 ns, '1' after 50 ns, '0' after 60 ns, '1' after 70 ns, '0' after 80 ns, '1' after 90 ns, '0' after 100 ns, '1' after 110 ns, '0' after 120 ns, '1' after 130 ns, '0' after 140 ns, '1' after 150 ns;

	a <= '0' after 0 ns, '0' after 10 ns, '1' after 20 ns, '1' after 30 ns, '0' after 40 ns, '0' after 50 ns, '1' after 60 ns, '1' after 70 ns, '0' after 80 ns, '0' after 90 ns, '1' after 100 ns, '1' after 110 ns, '0' after 120 ns, '0' after 130 ns, '1' after 140 ns, '1' after 150 ns;

	b <= '0' after 0 ns, '0' after 10 ns, '0' after 20 ns, '0' after 30 ns, '1' after 40 ns, '1' after 50 ns, '1' after 60 ns, '1' after 70 ns, '0' after 80 ns, '0' after 90 ns, '0' after 100 ns, '0' after 110 ns, '1' after 120 ns, '1' after 130 ns, '1' after 140 ns, '1' after 150 ns;

end;