Content
- Definició: què significa la forma normal de disjunció (DNF)?
- Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
- Techopedia explica la forma normal de disjunció (DNF)
Definició: què significa la forma normal de disjunció (DNF)?
La forma normal disjuntiu (DNF) és la normalització d'una fórmula lògica en la matemàtica booleana. En altres paraules, es diu que una fórmula lògica està en forma normal disjuntiu si es tracta d’una disjunció de conjuncions amb cada variable i la seva negació és present un cop a cada conjunció. Totes les formes normals de disjuntiva no són úniques, ja que totes les formes normals de disjuntiva per a la mateixa proposició s’equivoquen mútuament.
La forma normal disjuntiu és àmpliament utilitzada en àrees com la demostració del teorema automatitzat.
Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
Techopedia explica la forma normal de disjunció (DNF)
Una fórmula lògica és de forma normal disjuntiu si només hi ha una existència d'alternança d'una o més conjuncions d'un o més literals. Es considera una fórmula com a forma normal completament disjuntiva si totes les variables implicades només es representen una vegada en cada clàusula. Semblant a la forma normal conjuncional, els operadors proposicionals en forma normal disjuntius són els mateixos: AND, OR i NO.
Totes les fórmules lògiques es poden convertir en una forma normal de disjunció equivalent. Tanmateix, en alguns casos, és possible una explosió exponencial de la funció lògica a causa de la conversió a una forma normal disjunctiva. Un altre punt destacat és que qualsevol funció booleana única es pot representar només amb una única forma normal de disjunció completa. Amb l'ajut de tècniques com el mètode de la taula de veritat, els arbres de veritat o una taula d'equivalències lògiques, es pot generar una forma normal de disjunció per a fórmules lògiques. El K-DNF, una variació de la forma normal disjuntiva, és àmpliament utilitzat i popular en l'estudi de la complexitat computacional.