En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas.
Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula.
Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND son la conjunción, disyunción y negación.
Todas las fórmulas lógicas se pueden convertir en forma normal disyuntiva.
Una variación importante utilizada en el estudio de la complejidad computacional es k-DNF.