Inhoud
- Definitie - Wat betekent Disjunctive Normal Form (DNF)?
- Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
- Techopedia verklaart Disjunctive Normal Form (DNF)
Definitie - Wat betekent Disjunctive Normal Form (DNF)?
Disjunctieve normale vorm (DNF) is de normalisatie van een logische formule in de Booleaanse wiskunde. Met andere woorden, er wordt gezegd dat een logische formule in disjunctieve normale vorm is als het een disjunctie is van conjuncties met elke variabele en de ontkenning ervan eenmaal in elke conjunctie aanwezig is. Alle disjunctieve normale vormen zijn niet uniek, omdat alle disjunctieve normale vormen voor dezelfde propositie wederzijds equivalent zijn.
Disjunctieve normale vorm wordt veel gebruikt in gebieden zoals geautomatiseerde stelling bewijzen.
Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
Techopedia verklaart Disjunctive Normal Form (DNF)
Een logische formule is in disjunctieve normale vorm als en alleen als er een afwisseling bestaat van een of meer conjuncties van een of meer letterlijke. Een formule wordt beschouwd als in volledig disjunctieve normale vorm als alle betrokken variabelen slechts eenmaal in elke clausule worden weergegeven. Net als conjunctieve normale vorm, zijn de propositionele operatoren in disjunctieve normale vorm hetzelfde: AND, OR en NOT.
Alle logische formules kunnen worden omgezet in een equivalente disjunctieve normale vorm. In sommige gevallen is echter een exponentiële explosie van de logische functie mogelijk vanwege conversie naar disjunctieve normale vorm. Een ander opvallend punt is dat elke unieke Booleaanse functie kan worden vertegenwoordigd door slechts één en een unieke volledig disjunctieve normale vorm. Met behulp van technieken zoals de waarheidstabelmethode, waarheidsbomen of een tabel met logische equivalenties kan een disjunctieve normale vorm voor logische formules worden gegenereerd. K-DNF, een variatie van disjunctieve normale vorm, wordt veel gebruikt en is populair in de studie van computationele complexiteit.