Klausel
Eine Klausel ist eine endliche Menge von Literalen. Sie repräsentiert die Disjunktion (ODER-Verknüpfung) dieser Literale. Die leere Klausel {}) ist die leere Menge und repräsentiert einen Widerspruch (ist immer falsch).
Select a result to preview
Eine Klausel ist eine endliche Menge von Literalen. Sie repräsentiert die Disjunktion (ODER-Verknüpfung) dieser Literale. Die leere Klausel {}) ist die leere Menge und repräsentiert einen Widerspruch (ist immer falsch).