Nella logica booleana, una formula è in forma normale disgiuntiva o disgiunta (FND), indicata anche come DNF (acronimo di Disjunctive Normal Form) se è una disgiunzione di congiunzioni di letterali. Una formula in DNF ha quindi la seguente struttura:
dove:
è il numero di congiunzioni;
è il numero di letterali della congiunzione -esima;
è il -esimo letterale della -esima congiunzione. Un letterale può essere una variabile booleana (cioè che può valere solo 0 o 1, vero o falso) o la negazione di una variabile.