| | |
Summary: RHEINISCH-
WESTF¨ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHR- UND FORSCHUNGSGEBIET
INFORMATIK II
RWTH Aachen · D-52056 Aachen · GERMANY
http://www-i2.informatik.rwth-aachen.de/lufgi2
LuFG
Informatik II
Prof. Dr. J¨urgen Giesl
Peter Schneider-Kamp
Ren´e Thiemann
¨Ubungen Logikprogrammierung Blatt 4
Abgabe am Mittwoch, 3. Mai 2006, zu Beginn der ¨Ubung.
Aufgabe 1 (5 Punkte)
In dieser Aufgabe sollen quantorfreie Formeln in konjunktive Normalform (KNF)
¨uberf¨uhrt werden. Verwenden Sie hierf¨ur die aus ¨Ubung 2 bekannte Funktion D,
die quantorfreie Formeln ¨uber ({f0, f1, . . .}, {p0, p1, . . .}, {X0, X1, . . .}) wie folgt auf
|
