Forma Normal Conjuntiva
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una fórmula expresada como una conjunción de disyunciones de literales, comúnmente usada en resolución de satisfacibilidad y normalización lógica.