b a x b a y 0 0 0 0 1 1 0 1 0 0 1 0 0 0 2 0 1 0 1 1 1 3 0 1 1 1 0 0 4 1 0 0 0 0 0 5 1 0 1 0 1 1 6 1 1 0 1 1 0 7 1 1 1 0 0 1 b a x b 0 0 0 0 1 1 0 0 1 0 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 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 0 5 1 0 1 1 6 1 1 0 1 7 1 1 1 0 b a x y 0 0 0 0 0 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 0 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1 b a x b 0 0 0 0 1 2 0 1 0 1 3 0 1 1 1 6 1 1 0 1 b a x a 0 0 0 0 1 2 0 1 0 1 5 1 0 1 1 6 1 1 0 1 b a x y 2 0 1 0 1 5 1 0 1 1 7 1 1 1 1 b a x b Gruppe 0: 0 0 0 0 1 Gruppe 1: 2 0 1 0 1 Gruppe 2: 3 0 1 1 1 6 1 1 0 1 0:2 0 - 0 2:3 0 1 - 2:6 - 1 0 0 2 3 6 0:2 * * 2:3 * * 2:6 * * b <= (not b and not x) or (not b and a) or (a and not x) b <= (b or x) and (b or not a) and (not a or x) b a x a Gruppe 0: 0 0 0 0 1 Gruppe 1: 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 6 1 1 0 1 0:2 0 - 0 5 1 0 1 2:6 - 1 0 0 2 5 6 0:2 * * 5 * 2:6 * * a <= (not b and not x) or (b and not a and x) or (a and not x) a <= (b or x) and (not b or a or not x) and (not a or x) b a x y Gruppe 1: 2 0 1 0 1 Gruppe 2: 5 1 0 1 1 Gruppe 3: 7 1 1 1 1 2 0 1 0 5:7 1 - 1 y <= (not b and a and not x) or (b and x) y <= (b or not a or x) and (not b or not x) b <= (not b and not x) or (not b and a) or (a and not x) b <= (b or x) and (b or not a) and (not a or x) a <= (not b and not x) or (b and not a and x) or (a and not x) a <= (b or x) and (not b or a or not x) and (not a or x) y <= (not b and a and not x) or (b and x) y <= (b or not a or x) and (not b or not x)
entity meinuebergangsschaltnetz is port ( b, a: inout bit; x: in bit ); end; entity meinausgangsschaltnetz is port ( b, a, x: in bit; y: out bit ); end; architecture dnfverhalten of meinuebergangsschaltnetz is begin b <= (b or x) and (b or not a) and (not a or x); a <= (b or x) and (not b or a or not x) and (not a or x); end; architecture dnfverhalten of meinausgangsschaltnetz is begin y <= (b or not a or x) and (not b or not x); end; architecture knfverhalten of meinuebergangsschaltnetz is begin b <= (not b and not x) or (not b and a) or (a and not x); a <= (not b and not x) or (b and not a and x) or (a and not x); end; architecture knfverhalten of meinausgangsschaltnetz is begin y <= (not b and a and not x) or (b and x); end;