2025-06-04, quine20250524.txt

(C) David Vajda
Sat May 24 17:10:08 2025
3 Network - TTL - Disjunktive Normalform

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

	x2	x1	x0		y
 1	0	0	1		1
 2	0	1	0		1
 3	0	1	1		1

	x2	x1	x0		y
Gruppe 1:
 1	0	0	1		1
 2	0	1	0		1
Gruppe 2:
 3	0	1	1		1

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

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