Resolutionsschritt
Ein Resolutionsschritt ist die Ableitung einer Resolvente aus zwei Klauseln, die komplementäre Literale enthalten.
Select a result to preview
Ein Resolutionsschritt ist die Ableitung einer Resolvente aus zwei Klauseln, die komplementäre Literale enthalten.