hallo,
ich hab mal kurz die aufgabe überflogen.
muss ich erstmal eine KNF erstellen um weiter machen zu können?
Darf man nicht ein wenig umformen? Also jede Formel aus der Formelmenge einzeln in Klauselfrom bringen? (Ich habe da mit bottom gearbeitet)
und dann davon die Vereinigung bilden? Klar, geht auch.
und dann davon die Vereinigung bilden?
Also ich meinte das so. Du hast eine Formelmenge {F, G, H, …} und willst die in Klauselform bringen. Ich habe das so gemacht: F, G und H getrennt in Klauselform bringen und dann einfach wieder in eine Menge gepackt: {K1, K2, K3, … }.
Was mich wundert ist, dass dann bei der Aufgabe die Resolutionsmenge recht schnell [] enthält (bei mir im ersten Schritt bereits). Das kann es doch nicht gewesen sein…
F, G und H getrennt in Klauselform bringen und dann einfach wieder in eine Menge gepackt: {K1, K2, K3, … }
wie bringst du die zweite Formel in der Formelmege:
[img]
http://mokrates.de/cgi-bin/texstring?A%20%5Crightarrow%20((B%20%5Cvee%20C)%20%5Cwedge%20%5Cneg(B%20%5Cwedge%20C))[/img]
in klauselform? bei mir steht immer eine konjunktion drin.
bei mir steht immer eine konjunktion drin.
Wenn die Konjunktion dann der Hauptjunktor ist, kannst Du das einfach in zwei Klauseln aufteilen. Die Klauselmenge kann am Ende ja gerne aus mehr Elementen bestehen als die ursprüngliche Formelmenge, so wie Hackbert das auch gemacht hat. Hinbekommen muss man das trotzdem erstmal, da wäre ich auch für Tipps dankbar - bisher bin ich nur sehr schnell zu einer DNF gekommen und davon nicht mehr weg.
Ich hoffe das ist noch erlaubt, was ich jetzt poste (könnte eventuell schon zuviel zur Lösung beitragen). Falls ja: Admins: bitte löschen. Ich habe folgende Umformung gemacht:
[img]
http://mokrates.de/cgi-bin/texstring?A%20%5Crightarrow%20((B%20%5Cvee%20C)%20%5Cwedge%20%5Cneg(B%20%5Cwedge%20C))%0A%0Awird%20zu%0A%0AA%20%5Crightarrow%20%5Cbot%0A%0Awird%20zu%0A%0A%5Cneg%20A%20%5Cvee%20%5Cbot%0A%0Awird%20zu%0A%0A%5Cneg%20A[/img]
Ich hoffe das ist noch erlaubt, was ich jetzt poste (könnte eventuell schon zuviel zur Lösung beitragen). Falls ja: Admins: bitte löschen.
Mal ein bissl mehr Mut. Wenn er neben dir sitzt, dann schreibst du ihm das ja auch so hin. Das kann ja nicht das Problem sein… Problematisch wird es erst, wenn hier kommt „wie geht denn Aufgabe 4?“ „So: [lösung]“. Bis dahin bitte nicht so ängstlich, sondern lieber protestieren, wenn das schon wen stört :-)
Naja, nachdem, was da mal im CommSy abgegangen ist bin ich lieber Vorsichtig [es hat da mal Ärger gegeben, wiel jemand eine Lösung einer Aufgabe im Nachhinein gepostet hat]
CommSy rein, KönnSy rausguggn. Wer’s benutzt ist selber Schuld.
CommSy rein, KönnSy rausguggn. Wer’s benutzt ist selber Schuld.
Hmmm.. jetzt wird's abiserl OT. Aber eins sei noch gesagt: Ich musste es benutzen, weil da das ganze SE-1- bzw. SE-2-Zeugs drinne ist.
Wie kommst du darauf, dass
[img]
http://mokrates.de/cgi-bin/texstring?A%20%5Crightarrow%20((B%20%5Cvee%20C)%20%5Cwedge%20%5Cneg(B%20%5Cwedge%20C))%0A%0Awird%20zu%0A%0AA%20%5Crightarrow%20%5Cbot%0A%0Awird%20zu%0A%0A%5Cneg%20A%20%5Cvee%20%5Cbot%0A%0Awird%20zu%0A%0A%5Cneg%20A[/img]
gilt?
Es gibt doch Belegungen, die die Aussage wahr machen!?
Es gibt doch Belegungen, die die Aussage wahr machen!?
NEEEEIIIINNNN! Ich habe bei beiden denselben Junktor gelesen. Hinguggn lohnt sich :D
So kanns gehn - bei mir kommt nach dem ersten Schritt schon rauss, dass es unerfüllbar ist - hast du das dann auch so?
Ähm nö. Liegt aber daran, dass ich noch eine Frage klären muss. vielleicht ist es dann auch so. Darf man in einem Schritt mehrere Literale Eliminieren? Also angenommen ich habe folgendes:
[img]
http://mokrates.de/cgi-bin/texstring?%5C%7B%5Cneg%20A%2C%20B%5C%7D[/img] und
[img]
http://mokrates.de/cgi-bin/texstring?%5C%7BA%2C%20%5Cneg%20B%5C%7D[/img]
Darf ich so resolvieren, dass gleich [] rauskommt? Eigentlich ja nicht… Denn
[img]
http://mokrates.de/cgi-bin/texstring?(%5Cneg%20A%20%5Cvee%20B)%20%5Cwedge%20(A%20%5Cvee%20%5Cneg%20B)[/img] ist ja erfüllbar
Nein, darfst du nicht, das steht in Skript auf Seite … äähm find es grad nicht, aber zur Not sagt Wikipedia es auch
Es darf immer nur genau ein Literal resolviert werden.
Wenn ich das hier
[img]
http://mokrates.de/cgi-bin/texstring?%5C%7BA%2C%20%5Cneg%20B%5C%7D[/img]
ableite und nur ein Literal gleichzeitig resolviert werden darf entsteht ja eine neue Klausel mit 2 komplementären Literalen. Darf ich dann die Klausel mit sich selber resolvieren?
eigentlich hätte ich dann gern die leere menge da draus
Ich komme irgendwie nicht auf die Leere Klausel. Hab als Ausgangsklauseln:
[img]
http://img113.imageshack.us/img113/2127/form7et.jpg[/img]
Hat da jemand die selben oder hab ich mich da vertan?
Jo, das haben wir auch :)
