Fehlergründe und Sonderfälle im Feedback ausgeben/hervorheben bei Invalid-Aufgaben

[jvoigtlaender]

Bei LogicInvalidCnfs, LogicInvalidDnfs und LogicInvalidFormulas könnte im Feedback für die fehlerhaften Formeln jeweils ausgegeben werden, was der Fehler ist. Aus dem Generierungsprozess ist diese Information ja prinzipiell bekannt, wird im Moment nur nicht aufgehoben.

Bei LogicInvalidCnfs und LogicInvalidDnfs könnte außerdem für korrekte aber "merkwürdige" Formeln ein Hinweis darauf erfolgen, dass und warum sie tatsächlich in die entsprechende Normelform fallen. Also etwa wenn es nur eine Klausel gibt oder wenn jede Klausel nur aus einem Literal besteht.