Hi,
vllt hat ja jemand Lust die LogikKlausur von Studip mitzulösen. Viele Aufgaben wurden zwar schon besprochen, aber halt noch nicht alle und manchmal lernt man ja aus einem anderen Blickwinkel besser
Ich mach einfach mal den Anfang
Klausur 03.09.2010
A1 Prüfe mittel DPLL {x1,x2},{x1,-x2,},{-x1,-x2}
Schwer anzumalen aber
F|x1=0,x2=0 = 0 (1 und 2 Klausel wären = 0) , F|x1=0,x2=1 = 0 (2 Klausel wär =0) , F|x1=1, x2=0 = 1 (top), F|x1=1, x2=1 = 0 (3 Klausel wär =0 )
Also ist die Klauselmenge erfüllbar.
A2 DP Algo, Resolutionswiederlegung
Ich lasse mal die {} weg
K1 = x1,x2
K2= -x1
K3 = x1,-x3
K4= -x2,-x4
K5=x3,x4
Menge M^0=K1,K2,K3,K4,K5
Ich beginne mit x2
K1,K4=> K6= x1,-x4
M^1=K2,K3,K5,K6
x3
K3,K5=>K7=x1,x4
M2 = K2,K6,K7
x4
K6,K7=>K8=x1
M^3=K2,K8
K2,K8= leere Menge
Erstmal soweit von mir