b a x b a y 0 0 0 0 0 0 1 1 0 0 1 0 0 0 2 0 1 0 1 0 0 3 0 1 1 0 1 0 4 1 0 0 1 0 1 5 1 0 1 1 1 1 6 1 1 0 0 0 1 7 1 1 1 0 0 1 b a x b 0 0 0 0 0 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 1 5 1 0 1 1 6 1 1 0 0 7 1 1 1 0 b a x a 0 0 0 0 0 1 0 0 1 0 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 0 b a x y 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 1 7 1 1 1 1 b a x b 2 0 1 0 1 4 1 0 0 1 5 1 0 1 1 b a x a 3 0 1 1 1 5 1 0 1 1 b a x y 0 0 0 0 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: 2 0 1 0 1 4 1 0 0 1 Gruppe 2: 5 1 0 1 1 b a x a Gruppe 2: 3 0 1 1 1 5 1 0 1 1 b a x y Gruppe 0: 0 0 0 0 1 Gruppe 1: 4 1 0 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 1: 2 0 1 0 1 4 1 0 0 1 Gruppe 2: 5 1 0 1 1 2 0 1 1 4;5 1 0 - b <= (not b and a and x) or (b and not a) b a x a Gruppe 2: 3 0 1 1 1 5 1 0 1 1 a <= (not b and a and x) or (b and not a and x) b a x y Gruppe 0: 0 0 0 0 1 Gruppe 1: 4 1 0 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 Gruppe 3: 7 1 1 1 1 0;4 - 0 0 4;5 1 0 - 4;6 1 - 0 5;7 1 - 1 6;7 1 1 - Gruppe 1: 4;5 1 0 - Gruppe 2: 6;7 1 1 - 4;5;6;7 1 - - Gruppe 1: 4;6 1 - 0 Gruppe 2: 5;7 1 - 1 4;6;5;7 1 - - 0;4 - 0 0 0;4 - 0 0 b <= (not b and a and x) or (b and not a) a <= (not b and a and x) or (b and not a and x) y <= b and (not a and not x)
entity meinautomatenuebergangsnetz is begin ( bin, ain, x: in bit; bout, aout: out bit ); port; entity meinautomatenausgangsnetz is begin ( bin, ain, x: in bit; y: out bit ); port; architecture verhalten of meintautomatenuebergangsnetz is begin bout <= (not bin and ain and x) or (bin and not ain); aout <= (not bin and ain and x) or (bin and not ain and x) end; architecture verhalten of meinautomatenausgangsnetz is begin y <= bin and (not ain and not x); end;