Hey,
Ich hab son kleines Problem mit diesem Markierungsalgo:
Bei der 1. Formel von Aufgabe 2 gibt es ja irgendwie kein
(T -> Ai). Also kann man da auch nix markieren.
Bin ich dann nicht gleich bei 3. "Gib erfüllbar aus" ?
oder seh ich das falsch
((A ^ D ^ E) -> C) ^ ((A ^ F) -> D) ^ (D -> A) ^ ((E ^ F) -> D) ^ (E -> F) ^ ((C ^ D) -> B) ^ (E -> BOTTOM)

schelm00

ja also es ist schon richtig, man kann das algorithmus nicht durchführen, weil irgendwie den Anfang fählt (also die erste Bedingung). aber das heisst nicht das die formel erfülbar bzw. uneerfüllbar ist. es könnte ja auch ein Modell geben,,

mfg

ja also es ist schon richtig, man kann das algorithmus nicht durchführen,

Klar kann man das.

weil irgendwie den Anfang fählt (also die erste Bedingung).

Bedingung? Der Markierungsalgorithmus hat als einzige Bedingung, dass eine Hornformel vorliegt - und das ist hier ja eindeutig der Fall. Wenn es keine (Top -> A_i) gibt, dann macht man beim ersten Schritt halt nichts, aber das heisst noch lange nicht, dass der Algorithmus nicht durchfuehrbar ist.

aber das heisst nicht das die formel erfülbar bzw. uneerfüllbar ist. es könnte ja auch ein Modell geben,

Wenn der Markierungsalgorithmus kein Modell ausspuckt, dann gibt es auch keins.

aber das heisst nicht das die formel erfülbar bzw. uneerfüllbar ist. es könnte ja auch ein Modell geben,,

Erfüllbar heisst doch, dass es ein Modell gibt. Im konkreten Fall gibt es auch ein Modell, obwohl der Algorithmus scheinbar nicht korrekt ausgeführt wurde, weil ja Schritt 2 nie greift. Aber das macht nichts. Ist soweit alles korrekt. Nur Schritt 3 und das was danach steht, sollte man richtig verstehen und entsprechend ausführen.