Literal
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una fórmula atómica o su negación, usada comúnmente como la unidad básica en representaciones por cláusulas y procedimientos de satisfacibilidad.