Innehållsförteckning:
- Definition - Vad betyder disjunktiv normalform (DNF)?
- Techopedia förklarar DNF (Disjunctive Normal Form)
Definition - Vad betyder disjunktiv normalform (DNF)?
Disjunctive normal form (DNF) är normaliseringen av en logisk formel i boolesk matematik. Med andra ord sägs en logisk formel vara i disjunktiv normal form om det är en koppling av konjunktioner med varje variabel och dess negation är närvarande en gång i varje konjunktion. Alla disjunktiva normala former är icke-unika, eftersom alla disjunktiva normala former för samma förslag är ömsesidigt likvärdiga.
Disjunktiv normalform används ofta inom områden som automatiskt teorem bevisar.
Techopedia förklarar DNF (Disjunctive Normal Form)
En logisk formel är i disjunktiv normal form om och bara om det finns en växel av en eller flera konjunktioner av en eller flera bokstäver. En formel betraktas som i fullständig disjunktiv normalform om alla berörda variabler endast representeras en gång i varje klausul. I likhet med konjunktiv normalform är de propositionella operatörerna i disjunktiv normalform samma: OCH, ELLER och INTE.
Alla logiska formler kan konverteras till en ekvivalent disjunktiv normalform. I vissa fall är emellertid exponentiell explosion av den logiska funktionen möjlig på grund av omvandling till disjunktiv normal form. En annan viktig punkt är att alla unika booleska funktioner kan representeras av endast en och en unik fullständig disjunktiv normalform. Med hjälp av tekniker som sanningstabellmetoden, sanningsträd eller en tabell med logiska ekvivalenser kan disjunktiv normalform för logiska formler genereras. K-DNF, en variation av disjunktiv normalform, används i stor utsträckning och populär i studien av beräkningskomplexitet.
