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