Weiterführung der Aufgabenidee zur Dekomposition einer Formel

[jvoigtlaender]

...

Oder es wird die Formel von Op t1 t2 angezeigt (nicht der Syntaxbaum), und die Studierenden werden aufgefordert, den Syntaxbaum zu erstellen, an der Wurzel linken und rechten Teilbaum zu vertauschen, und dann die Formel zum entstandenen neuen Syntaxbaum einzugeben.

(Natürlich lässt sich das dann auch lösen, ohne wirklich den Syntaxbaum aufzumalen. Aber eben nur, wenn man zumindest gedanklich die Struktur aufbauen und zerlegen kann, also etwa durch gedankliches "Parsen" den Top-Level Operator im String finden kann. Und damit wäre dann ein Aspekt adressiert, der bisher wohl noch nicht explizit geübt wird. In gewisser Weise ließe sich durch solch eine Aufgabenstellung also kompensieren, dass wir im Moment keine Aufgaben stellen können, wo ein Syntaxbaum selbst einzugeben ist, im Sinne von ForumulaToTree statt TreeToFormula.)

Originally posted by @jvoigtlaender in https://github.com/fmidue/logic-tasks/issues/103#issuecomment-1935741427

[jvoigtlaender]

... erst nach #108 anzugehen.

[jvoigtlaender]

Frühestens nach #115.