WikiDer > Wörtlich

In dem mathematische Logik ist ein wörtlich (Englisch: wörtlich) ein Atomformel (auch Atom genannt) oder die Negation davon. Das Wort wörtlich wird hauptsächlich verwendet, um die Elemente von Klauseln von Formeln in konjunktive Normalform zu ernennen.

Wird buchstäblich positiv heißt, wenn es ein Atom ist, und Negativ wenn es die Negation eines Atoms ist.

EIN reine wörtliche ist ein Literal, das in einer Formel nur positiv oder nur negativ vorkommt. das wörtliche ${displaystyle p}$ ist zum Beispiel rein in ${displaystyle (pvee q)keil (zB rvee p)}$, wahr ${displaystyle p}$, ${Anzeigestil q}$ und ${displaystyle r}$ sind Atome.

Ein Atom werden und seine Negation komplementär Literale genannt.

Ein wörtliches ist maximal in einer Klausel, wenn das Literal basierend auf einer bestimmten Reihenfolge von Literalen das größte ist.