




Für jede Eingangsbelegung
mit
-
und -
(nichtdeterminierter Funktionswert bei der Belegung
)
müssen in der Wertetabelle für die einzelnen Variablen
des Ausgangsvektors statt der
Konstanten 0 und 1 Ausdrücke in den Variablen eines Parametervektors
so eingetragen werden,
daß bei beliebiger Belegung der g-Parameter nur Ausgangsbelegungen aus
entstehen können.



root
Sat Jun 21 22:28:32 1997