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.
Principio
Principio
La FND organiza una fórmula como una disyunción finita de términos, cada término siendo una conjunción de literales; es la dual de la FNC y puede obtenerse por leyes de De Morgan y distributividad, resaltando a menudo implicantes primos y construcciones por tablas de verdad.
Demostración
Demostración
La fórmula (p ∧ q) ∨ (¬p ∧ r) está en FND; cualquier función de verdad puede escribirse en FND enumerando las asignaciones que la satisfacen y formando las conjunciones de literales correspondientes.
Aplicación incorrecta
Aplicación incorrecta
Asumir que la FND es siempre la mejor representación para tareas de razonamiento es incorrecto; convertir fórmulas arbitrarias a FND completa puede crecer exponencialmente y destruir la compacidad estructural que otras técnicas aprovechan.
Consecuencia
Consecuencia
Cuando existe en forma razonablemente compacta, la FND facilita la enumeración de modelos, la simplificación por disyunción y la identificación de implicantes primos; es útil para evaluación directa y tareas de síntesis.
Inversión
Inversión
La disposición opuesta es la FNC, una conjunción de disyunciones; mientras la FNC favorece a los solvers, la FND favorece el análisis de modelos y ambas representan compensaciones entre concisión y ventajas algorítmicas distintas.
Límite
Límite
La FND exige que cada disyunto sea una conjunción de literales y no maneja cuantificadores ni conectivos no booleanos sin transformación; su uso práctico se ve limitado por el posible crecimiento exponencial.
Tensión semántica
Tensión semántica
FND vs FND mínima vs suma-de-productos: la FND cruda lista todos los términos satisfechos, una FND mínima comprime al agrupar implicantes; la tensión está entre expresividad y compacidad.
Síntesis
Síntesis
La Forma Normal Disyuntiva es la disposición canónica disyunción-de-conjunciones que expone asignaciones satisfechas e implicantes primos; es valiosa para el razonamiento directo sobre modelos pero limitada por límites combinatorios.