Conteo de Literales
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El número total de ocurrencias de literales en una fórmula o conjunto de cláusulas, contando por separado cada aparición de un átomo o su negación.