Anmerkungen:
"... oder [a]>=0 und [b]<=0 oder [a]<=0 und [b]>=0"
o:{0,1}^2*2 -> {0,2}^2 (x1,x2) o (y1,y2) := (x1 ODER (y1 UND x2), y2 UND X2)
Hinweis: Sie können natürlich die Prozeduren twoc und twoc-inv aus Aufgabe 4.2 verwenden, sowie die Prozeduren bin und bin-inv aus der Musterlösung.