search

fmidue / logic-tasks

0 stars 1 forks source link

allgemeinere Formeln bei `Fill`, `Pick`, `Decide` #98

Closed jvoigtlaender closed 1 week ago

jvoigtlaender commented 7 months ago

Bei den Aufgaben, wo eine Formel vorgegeben und dann irgendwas mit Wahrheitstafeln zu tun ist, wird diese Formel aktuell immer als eine KNF gewählt. Siehe: https://github.com/fmidue/logic-tasks/blob/044acf4a895d32fef508a6d8d12bc64cbebf75d0/src/Config.hs#L228-L229 https://github.com/fmidue/logic-tasks/blob/044acf4a895d32fef508a6d8d12bc64cbebf75d0/src/Config.hs#L208-L209 https://github.com/fmidue/logic-tasks/blob/044acf4a895d32fef508a6d8d12bc64cbebf75d0/src/Config.hs#L266-L267

Es könnte überlegt werden, da auch allgemeinere Formeln zu verwenden, also praktisch jeweils die cnfConf :: CnfConfig durch eine syntaxTreeConfig :: SynTreeConfig zu ersetzen. Das könnte natürlich noch weitere Änderungen nach sich ziehen, etwa weil bestimmte Eigenschaften für die sinnvolle Aufgabenerzeugung (gleiche Schwierigkeit o.ä.), die sich bei KNFs "von selbst ergeben", nun noch separat betrachtet werden müssten.

jvoigtlaender commented 7 months ago

Besonders relevant ist das, weil es im Moment keine Aufgaben gibt, wo die Semantik von Implikation und Biimplikation geübt wird.

Berührt auch #104.