Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich. This is a static copy of our old forum. Interactions are not possible.
Ich habe eine Frage zu Übungsblatt 6 der Logikübungen. Im Lösungshinweis soll nach der Ordnung in Schritt 2 rausfliegen. Resolventen sind hierbei und . Das nicht rausfliegt, liegt das nur an der Ordnung oder können nicht zwei versch. Variablen in einem Schritt eliminiert werden?
Liegt an der Resolutionsregel und der Ordnung. Man kann immer nur eine Variable pro Schnitt eliminieren und der Rest der Klauseln wird ja vereinigt. In der Vereinigung kommt nun p_3 positiv sowie negativ vor, das heißt die Klausel ist immer wahr.
Fachrat Informatik - Forum
FACHSPEZIFISCHE DISKUSSIONEN
Grundlagen der Informatik
Logik Frage - Übungsblatt 6
