Aufgabenidee: Formel zu Tabelle auswählen #104
Description
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.)