Forma normale disgiuntiva
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
Collegamenti esterni
- forma normale disgiuntiva, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
🔥 Top keywords: Pagina principaleBrigitte BardotClaudio GrazianoSpeciale:RicercaCampionato europeo di calcio 2024Domenico TedescoHouse of the DragonFrancesco CalzonaCampionato europeo di calcioRoger VadimEpisodi di House of the Dragon (seconda stagione)N'Golo KantéBridgertonKylian MbappéCampionato europeo di calcio 2020Riccardo CalafioriFesta del papà24 Ore di Le MansJean-Louis TrintignantDidier DeschampsNicolae StanciuCampionato mondiale di calcioGreen DayAntoine GriezmannNazionale di calcio dell'ItaliaRoberto VannacciThe Boys (serie televisiva 2019)Shattered - L'ingannoPaolo MieliQuando tutto cambiaFincantieriIlaria SalisJuraj KuckaNazionale di calcio della FranciaCampionato mondiale di calcio 2022Nicolò BarellaIl presceltoInside Out 2Twilight (film 2008)