Inhoud
- Definitie - Wat betekent conjunctieve normale vorm (CNF)?
- 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 Conjunctive Normal Form (CNF)
Definitie - Wat betekent conjunctieve normale vorm (CNF)?
Conjunctieve normale vorm (CNF) is een benadering van Booleaanse logica die formules uitdrukt als conjuncties van clausules met een EN of OF. Elke clausule verbonden door een conjunctie, of AND, moet letterlijk zijn of een disjunctie, of OF-operator bevatten. CNF is nuttig voor het bewijzen van geautomatiseerde stellingen.
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 Conjunctive Normal Form (CNF)
In conjunctieve normale vorm zijn uitspraken in de Booleaanse logica conjuncties van clausules met clausules van disjuncties. Met andere woorden, een statement is een reeks OF's verbonden door EN's.
Bijvoorbeeld:
(A OF B) EN (C OF D)
(A OF B) EN (NIET C OF B)
De clausules kunnen ook letterlijk zijn:
A OF B
A EN B
Literalen worden in CNF gezien als conjuncties van letterlijke clausules en conjuncties die toevallig een enkele clausule hebben. Het is mogelijk om verklaringen om te zetten in CNF die zijn geschreven in een andere vorm, zoals disjunctieve normale vorm.