2025-06-04, quine20250429.txt

(C) David Vajda
Tue Apr 29 21:58:54 2025
3 Network - TTL - Disjunktive Normalform

	x2	x1	x0		y
 0	0	0	0		1
 1	0	0	1		1
 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		1


	x2	x1	x0		y
 0	0	0	0		1
 1	0	0	1		1
 2	0	1	0		1
 4	1	0	0		1
 6	1	1	0		1
 7	1	1	1		1


	x2	x1	x0		y
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:
 6	1	1	0		1
Gruppe 3:
 7	1	1	1		1

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

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

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


		0	1	2	4	6	7
0:1		+	+
0:2:4:6	+		+	+	+
6:7						+	+


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

	y	<=	(not x2 and not x1)
			or x0 or
			(x2 and x1);