Forma normale disgiuntiva
Questa pagina sull'argomento matematica sembra trattare argomenti unificabili alla pagina Forma canonica (algebra di Boole).
Questa voce o sezione sull'argomento logica non cita le fonti necessarie o quelle presenti sono insufficienti.
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
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.
Esempi
Le seguenti formule sono in DNF:
L'ultima formula ha due congiunzioni, entrambe con un solo letterale.
Da notare che formule come l'ultima, ossia del tipo (o similmente ) dove sono letterali, sono da considerarsi simultaneamente DNF e CNF.
Voci correlate
- Forma normale congiuntiva
- Forma canonica (algebra di Boole)
- Forma normale negativa
Collegamenti esterni
- forma normale disgiuntiva, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica