automat20250318.txt

(C) David Vajda
Tue Mar 18 11:18:29 2025
Schaltwerk - binaer und unaer kodiert

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


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

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



	b a x	b
2	0 1 0	1
4	1 0 0	1
6	1 1 0	1

	b a x	a
1	0 0 1	1
2	0 1 0	1
6	1 1 0	1
7	1 1 1	1

	b a x	y
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
4	1 0 0	1



	b a x	b
Gruppe 1:
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	1

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

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


	b a x	b
Gruppe 1:
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	1

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

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


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

1			0	0	1
2:6			-	1	0
6:7			1	1	-

		1	2	6	7
1		+
2:6			+	+
6:7				+	+

1			0	0	1
2:6			-	1	0
6:7			1	1	-

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



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


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

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


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