Indhold
- Definition - Hvad betyder konjunktiv normal form (CNF)?
- 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 konjunktiv normal form (CNF)
Definition - Hvad betyder konjunktiv normal form (CNF)?
Konjunktiv normalform (CNF) er en tilgang til boolsk logik, der udtrykker formler som konklusioner af klausuler med en AND eller OR. Hver klausul, der er forbundet med en konjunktion, eller AND, skal enten være en bogstavelig eller indeholde en disjunktion eller OR-operator. CNF er nyttigt til at bevise automatiseret teorem.
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 konjunktiv normal form (CNF)
I konjunktiv normalform er udsagn i boolsk logik konjunktioner af klausuler med klausuler om disjunktioner. Med andre ord er en erklæring en række OR'er forbundet med AND'er.
For eksempel:
(A ELLER B) OG (C ELLER D)
(A ELLER B) OG (IKKE C ELLER B)
Bestemmelserne kan også være bogstaver:
A ELLER B
A OG B
Bogstaver ses i CNF som konjunktioner af bogstavelige klausuler og konjunktioner, der tilfældigvis har en enkelt klausul. Det er muligt at konvertere udsagn til CNF, der er skrevet i en anden form, såsom disjunktiv normal form.