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."
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 = TrueextraText