Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Resolution WS15
Hallo Zusammen,
kann mir bitte jemand einen Lösungsvorschlag für die Resolutionsaufgabe vom WS2015 hochladen? Evtl. in das StuvePad.
Ich hab es schon mehrfach versucht und komme einfach nicht auf die Lösung.
Was mich vor allem sehr stuzig macht, ist die Tatsache, dass in der Angabe 3 mal die Funktion S(X,Y) vorkommt. Müsste es nicht eine gerade Anzahl an Funktionen sein, damit das am Ende mit den Klauseln aufgeht?
Danke für die Hilfe