Open jvoigtlaender opened 1 month ago
task12
und task13
sind sich (auch nach Zufallsgenerierung) zu ähnlich, siehe https://github.com/fmidue/logic-tasks/issues/145#issuecomment-2199375842
SuperfluousBrackets
vor TreeToFormula
zu stellen, ist vielleicht ungeschickt, siehe https://github.com/fmidue/logic-tasks/issues/136#issue-2350805388
.. die sich an anderer Stelle ergeben haben