fmidue / logic-tasks

0 stars 1 forks source link

Aufbau Aufgabenstellung SuperfluousBrackets #139

Open KatinkaMeer opened 2 months ago

KatinkaMeer commented 2 months ago

Aufgabentyp: SuperfluousBrackets

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

"Entfernen Sie alle unnötigen Klammer-Paare in der gegebenen Formel. [Darstellung des Formel] Betrachten Sie die folgende aussagenlogische Formel: Geben Sie die Lösung in Form einer Aussagenlogischen Formel an.

weitere Hinweise: Sie können dafür die Ausgangsformel in die Abgabe kopieren und unnötige Klammern entfernen. Aufgrund der Assoziativität von ∧ und ∨ müssen Formeln mit drei oder mehr atomaren Aussagen und den gleichen logischen Operatoren nicht geklammert werden, z.B. bei: A ∧ B ∧ C Genauso sind Klammern bei einer oder mehreren Negationen direkt vor einer atomaren Aussage nicht nötig, z.B. bei ¬¬A Es sollen ALLE nicht nötigen Klammern entfernt werden. Nicht nur die wegen Assoziativität überflüssigen."

Wie auch in #135 folgt der vorgeschlagene Aufbau dem Muster: Was? Womit? Wie? zusätzliche Hinweise

Die Grundidee ist, dass alle Informationen, die man zum Bearbeiten der Aufgabe benötigt oben stehen und nicht mit Erläuterungen gemischt sind, die man bei der wiederholten Bearbeitung des Aufgabentyps nicht mehr benötigt.

grafik