allgemeinere Formeln bei Fill, Pick, Decide

[jvoigtlaender]

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:

logic-tasks/src/Config.hs

Lines 228 to 229 in 044acf4

	data FillConfig = FillConfig {
	cnfConf :: CnfConfig

logic-tasks/src/Config.hs

Lines 208 to 209 in 044acf4

	data PickConfig = PickConfig {
	cnfConf :: CnfConfig

logic-tasks/src/Config.hs

Lines 266 to 267 in 044acf4

	data DecideConfig = DecideConfig {
	cnfConf :: CnfConfig

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]

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.