Aufbau Aufgabenstellung TreeToFormula

[KatinkaMeer]

Aufgabentyp: TreeToFormula

die Formulierung und Reihenfolge der Aufgabenstellung könnten geändert werden zu:

"Geben Sie die aussagenlogische Formel an, die von diesem Syntaxbaum dargestellt wird.
[Darstellung des Syntaxbaumes]
Betrachten Sie den folgenden Syntaxbaum:
Es muss die exakte Formel des Syntaxbaums angegeben werden.
Sie dürfen bei dieser Aufgabe nicht Assoziativität verwenden, um Klammern einzusparen.

weitere Hinweise:
Andere zu dieser Formel semantisch äquivalente Formeln sind keine korrekte Lösung.
Dabei dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen."

Config:
examples/src/Syntax/TreeToFormula/Config.hs
extraHintsOnSemanticEquivalence = True
extraText

[jvoigtlaender]

Die Darstellung hier könnte von https://git.uni-due.de/fmi/autotool-dev/-/issues/10 profitieren.