[infostudents] Re: Logik Übungsblatt 3 Aufgabe 2
- From: Guido Solbach <ich@xxxxxxxxxxxxxxxx>
- To: infostudents@xxxxxxxxxxxxx
- Date: Sun, 02 Dec 2007 18:46:23 +0100
Das mit den Mengen hört sich schon mal interessant an.
Aber wenn man {U} {negU} zusammenfasst bekommt man die leere Menge und
das führt ja gerade zu Nichterfüllbarkeit.
Habe einen Brut Force Angriff mit Java gestartet ;-) und wenn ich mich
nicht vertippt habe ist er nicht erfüllbar.
11a) nicht erfüllbar
11b) erfüllbar
wie erwartet.
Jonas Sternisko schrieb:
2 Fehler fallen mir direkt auf:
1. Da es sich bei (Horn-)Klauseln um Mengen handelt, dürfen keine
Elemente doppelt darin vor kommen.
2. Wenn der DPP hält und L={ }, gilt gerade Erf K und nicht das Gegenteil
Gruß
Jonas
Guido Solbach schrieb:
Hi, so stelle ich mir Aufgabe 2 vor.
Wie seht Ihr das.
Gruss
Guido
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
Other related posts:
