Gibt es einen Tick beim klammern um den Wert des Terms richtig bestimmen zu können?
+3976 Die Frage ist recht allgemein formuliert - ich bin nicht sicher, was du hier genau meinst. Wenn der Wert eines Terms bestimmt werden soll, klingt das für mich, als wären alle Werte der auftretenden Variablen bekannt - dann brauchst du keinen Trick, nur einen Taschenrechner. Viele Terme können durch Ausklammern oder Auflösen von Klammern vereinfacht werden, ob & wann das Sinn macht hängt vom Start-Term ab.
Vielleicht kannst du ja mal ein Beispiel für die beschriebene Situation geben?
