Indhold
- Definition - Hvad betyder disjunktiv normal form (DNF)?
- En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
- Techopedia forklarer DNF (Disjunctive Normal Form)
Definition - Hvad betyder disjunktiv normal form (DNF)?
Disjunctive normal form (DNF) er normaliseringen af en logisk formel i boolsk matematik. Med andre ord siges det, at en logisk formel er i disjunktiv normal form, hvis det er en sammenhæng af sammenhænge med hver variabel, og dens negation er til stede en gang i hver sammenhæng. Alle disjunktive normale former er ikke-unikke, da alle disjunktive normale former for den samme proposition er gensidigt ækvivalente.
Disjunktiv normal form er meget udbredt i områder som automatiseret teoretisk bevis.
En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
Techopedia forklarer DNF (Disjunctive Normal Form)
En logisk formel er i disjunktiv normal form, hvis og kun hvis der foreligger en veksling af et eller flere konjunktioner af en eller flere bogstaver. En formel betragtes som i fuld disjunktiv normal form, hvis alle de involverede variabler kun er repræsenteret én gang i hver klausul. I lighed med konjunktiv normal form er de propositionelle operatører i disjunktiv normal form de samme: OG, ELLER og IKKE.
Alle logiske formler kan konverteres til en ækvivalent normal disjunktiv form. I nogle tilfælde er eksponentiel eksplosion af den logiske funktion imidlertid mulig på grund af konvertering til disjunktiv normal form. Et andet vigtigt punkt er, at enhver unik boolsk funktion kun kan repræsenteres ved en og en unik fuld disjunktiv normalform. Ved hjælp af teknikker som sandhedstabelmetoden, sandhedstræer eller en tabel med logiske ækvivalenser kan genererende disjunktiv normalform til logiske formler genereres. K-DNF, en variation af disjunktiv normal form, er vidt brugt og populær i studiet af beregningsmæssig kompleksitet.