Anzahl der Literale
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Die Gesamtanzahl der Literalvorkommen in einer Formel oder Klauselmenge, wobei jedes Auftreten eines Atoms oder seiner Negation einzeln gezählt wird.