search

fmidue / logic-tasks

0 stars 1 forks source link

potentielle Varianten von Min-Term- und Max-Term-Aufgaben #96

Open jvoigtlaender opened 7 months ago

jvoigtlaender commented 7 months ago

... in denen nicht verlangt wird, dass die eingegebenen Normalformen genau nach Min-Term- und Max-Term-Prinzip gebildet werden.

Stattdessen würde einfach nach einer DNF bzw. KNF gefragt, welche zur angezeigten Wahrheitstafel passt. Die Bewertung dürfte dann natürlich auch nicht mehr das Vorliegen aller Min- bzw. Max-Terme überprüfen, sondern einfach nur, dass die jeweilige Normalform (DNF/KNF) eingehalten wird und die Semantik stimmt.

Der Hinweistext (oder extraText) könnte auf https://de.wikipedia.org/wiki/Konjunktive_Normalform#Beispiel_f%C3%BCr_die_Bildung_der_KNF verweisen als einen Weg, die jeweils gewünschte Normalform herzustellen.

jvoigtlaender commented 7 months ago

Es könnte auch überhaupt nach irgendeiner semantisch passenden Formel gefragt werden, ohne Vorgabe einer einzuhaltenden Normalform.

Also vielleicht durch eine Konfigurationsoption steuerbar: beliebige Formel erlaubt (ggfs. auch noch steuerbar ob auch “Pfeiloperationen” erlaubt), KNF gefordert, DNF gefordert.