search

fmidue / logic-tasks

0 stars 1 forks source link

Reihenfolge der Aufgaben beachten #136

Closed KatinkaMeer closed 1 month ago

KatinkaMeer commented 2 months ago

die aktuelle Aufgabe 2: SuperfluousBrackets "Aufgrund der Assoziativität von ∧ und ∨ müssen Formeln mit drei oder mehr atomaren Aussagen und den gleichen logischen Operatoren nicht geklammert werden."

die aktuelle Aufgabe 3: TreeToFormula "Auch dürfen Sie bei dieser Aufgabe nicht Assoziativität verwenden, um Klammern einzusparen."

durch die Änderung der Reihenfolge der Aufgabenstellung von 3 wie in #135 adressiert, sollte das Problem nicht so groß sein

jvoigtlaender commented 1 month ago

Wird in Meta-Issue für Beobachtungen zu konkreten Aufgabenkonfigurationen nachgehalten, siehe https://github.com/fmidue/logic-tasks/issues/146#issuecomment-2199381835.