ich würde gerne wissen, was der Unterschied zwischen der Unit-Resolution und der Normalen(linearen) Resolution ist.
Ich weiß, dass man bei der Unit-Resolution die Resolvente mit einer Elternklausel, bestehend aus einem Literal bildet.
Mich würde, aber interessieren was die Unit-Resolution bringt bzw. welche Vorteile sie zur lineraren Res. vorweisen kann.
LG
