Einfaches schaltwerk

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

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

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


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

	b a x	y
0	0 0 0	1
5	1 0 1	1
6	1 1 0	1


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

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

	b	<=	(not a and x) or
			(b and 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 2:
5	1 0 1	1
6	1 1 0	1
Gruppe 3
7	1 1 1	1

0:2			0	-	0
0:4			-	0	0
2:6			-	1	0
4:5			1	0	-
4:6			1	-	0
5:7			1	-	1
6:7			1	1	-

0:2			0	-	0
4:5			1	0	-
6:7			1	1	-
4:6			1	-	0
5:7			1	-	1
0:4			-	0	0
2:6			-	1	0


0:2				0	-	0
4:5			1	0	-
6:7			1	1	-
4:5:6:7			1	-	-

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

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

0:4:2:6			-	-	0

0:2				0	-	0
4:5:6:7			1	-	-
4:6:5:7			1	-	-
0:4:2:6			-	-	0

0:2				0	-	0
4:5:6:7			1	-	-
0:4:2:6			-	-	0

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

	b a x	y
0	0 0 0	1
5	1 0 1	1
6	1 1 0	1

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

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

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

Un"ar kodierter Automat

Zustand		Eingabe		Ausgabe		Folgezustand	Codefolgezustand
													z3+	z2+	z1+	z0+
z0			0			1			z1+				0	0	1	0
z0			1			0			z2+				0	1	0	0
z1			0			0			z1+				0	0	1	0
z1			1			0			z0+				0	0	0	1
z2			0			0			z1+				0	0	1	0
z2			1			1			z3+				1	0	0	0
z3			0			1			z1+				0	0	1	0
z3			1			0			z3+				1	0	0	0

z0+		<=		(z1 and x)
z1+		<=		(z0 and not x) or (z1 and not x) or (z2 and not x) or (z3 and not x)
z2+		<=		(z0 and x)
z3+		<=		(z2 and x) or (z3 and x)
y		<=		(z0 and not x) and (z2 and x) and (z3 and not x)