Forma Normal Disyuntiva
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una fórmula expresada como una disyunción de conjunciones de literales, usada frecuentemente para analizar la estructura booleana y la simplificación.