Beispiel: Funktion mit 3 Eingangs- und 2 Ausgangsvariablen
- Ein-/Ausgangsvektor
-
mit |x| = 3 bzw.
mit |y| = 2
- Eingangsbelegung
-
als geordnete Menge von n=|x|=3 bits
mit dem Belegungsindex
)
- bit der Eingangsbelegung
-
das ''0''-te bit der Eingangsbelegung 
- Ausgangsbelegung
-
root Sat Jun 21 22:28:32 1997