search

fmidue / logic-tasks

0 stars 1 forks source link

Aufgabenidee: Formel zu Tabelle auswählen #104

Open jvoigtlaender opened 9 months ago

jvoigtlaender commented 9 months ago

Der aktuelle Aufgabentyp TruthTableChooseForFormula zeigt eine Formel und mehrere Wahrheitstabellen an und fragt, welche Tabelle zur gegebenen Formel passt.

Es wäre denkbar, stattdessen eine Tabelle und mehrere Formeln anzuzeigen und zu fragen, welche der Formeln zur Tabelle passt.

Eventuell lässt sich dafür viel von der Implementierung von TruthTableChooseForFormula nachnutzen.

Um zu "erzwingen", dass mindestens für eine Formel die Tabelle komplett durchgerechnet werden muss (statt dass etwa für alle Formeln bis auf eine sofort in der ersten Tabellenzeile ein Mismatch auftritt und deshalb per Ausschlussprinzip die Antwort klar ist), könnte die Aufgabe so gestaltet sein, dass die Frage nicht ist "Welche der folgenden Formeln entspricht der Tabelle?", sondern "Entspricht eine der folgenden Formeln der Tabelle? Wenn ja, welche?". (Durch eine Option in der Aufgabenkonfiguration könnte gesteuert werden, ob denn tatsächlich auch Instanzen erzeugt werden, bei denen keine der Formeln der Tabelle entspricht. In gewisser Weise könnten gerade diese Instanzen auch wieder sehr leicht lösbar sein, nämlich wenn für alle zur Auswahl stehenden Formeln sehr früh ein Mismatch auftritt.)

jvoigtlaender commented 9 months ago

Die Anpassung aus dem letzten Absatz oben (also "eventuell ist gar keine der angebotenen Optionen zutreffend") ließe sich auch in TruthTableChooseForFormula noch einbringen.

jvoigtlaender commented 3 months ago

Interessanterweise gab es das

Es wäre denkbar, stattdessen eine Tabelle und mehrere Formeln anzuzeigen und zu fragen, welche der Formeln zur Tabelle passt.

wohl schon einmal. Siehe die Diskussion zu (irgendwann wohl zu dead code gewordenem, und nun entfernten) pickCnf hier: https://github.com/fmidue/logic-tasks/pull/124#issuecomment-2043052654

Nun wäre natürlich spannend, zu wissen, warum dieser alternative Aufgabenmodus irgendwann verworfen wurde (bevor er hier wieder neu eingeführt wird, sich aber dann als aus irgendwelchen Gründen nicht nützlich erweist).