Innholdsfortegnelse:
- Definisjon - Hva betyr DNF (Disjunctive Normal Form)?
- Techopedia forklarer DNF (Disjunctive Normal Form)
Definisjon - Hva betyr DNF (Disjunctive Normal Form)?
Disjunctive normal form (DNF) er normaliseringen av en logisk formel i boolsk matematikk. Med andre ord sies en logisk formel å være i disjunktiv normal form hvis det er en sammenheng av sammenhenger med hver variabel og dens negasjon er til stede en gang i hver sammenheng. Alle disjunktive normale former er ikke-unike, da alle disjunktive normale former for den samme proposisjonen er gjensidig likeverdige.
Disjunktiv normalform er mye brukt i områder som automatisert teorem som beviser.
Techopedia forklarer DNF (Disjunctive Normal Form)
En logisk formel er i disjunktiv normalform hvis og bare hvis det foreligger en veksling av en eller flere konjunksjoner av en eller flere bokstaver. En formel anses som i full disjunktiv normalform hvis alle variablene er representert bare én gang i hver ledd. I likhet med konjunktiv normalform er de proposisjonelle operatørene i disjunktiv normalform de samme: OG, ELLER og IKKE.
Alle logiske formler kan konverteres til en tilsvarende disjunktiv normalform. I noen tilfeller er imidlertid eksponentiell eksplosjon av den logiske funksjonen mulig på grunn av konvertering til disjunktiv normalform. Et annet viktig poeng er at enhver unik boolsk funksjon kan representeres av bare en og en unik full disjunktiv normalform. Ved hjelp av teknikker som sannhetstabellmetoden, sannhetstrær eller en tabell med logiske ekvivalenser, kan disjunktiv normalform for logiske formler genereres. K-DNF, en variant av disjunktiv normalform, er mye brukt og populær i studiet av beregningsmessig kompleksitet.
