Nombre de Littéraux
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le nombre total d'occurrences de littéraux dans une formule ou un ensemble de clauses, en comptant séparément chaque apparition d'un atome ou de sa négation.