search

fmidue / logic-tasks

0 stars 1 forks source link

Schwierigkeitsgrad DecomposeFormula #142

Open KatinkaMeer opened 3 months ago

KatinkaMeer commented 3 months ago

Vielleicht sollte die Aufgabe so konfiguriert werden (können), dass die „Mitte“ nicht so leicht zu finden ist.

(A <= E) ∧ (D => (¬C ∨ ¬B)) umzuschreiben zu: (D => (¬C ∨ ¬B)) ∧ (A <= E) ist Aufwand von 10 Sekunden und sehr einfach.

Bsp.: ((A <= E) ∧ (D => (¬C ∨ ¬B))) ∨ A (((A <= E) ∧ (D => (¬C ∨ ¬B))) ∨ ((A <= E) <= A)) ∧ C

jvoigtlaender commented 3 months ago

Ist in diesen angegebenen Beispielen das Finden der Stelle, an der getauscht werden muss, denn wirklich schwerer? Ich kann mir die Formeln ja auch von hinten anschauen und sehe sofort, dass da ein einzelnes Literal A bzw. C steht, das direkt mit einer großen anderen Formel verknüpft ist. Da bin ich ja praktisch sogar noch schneller an dem Punkt, wo ich weiß was ich wie rekombinieren muss.

KatinkaMeer commented 3 months ago

Kann sein, bestimmt gibt es bessere Möglichkeiten. Ich bin gegen den gesamten Aufgabentyp.