Indholdsfortegnelse:
- Definition - Hvad betyder konjunktiv normal form (CNF)?
- 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 adskillelse eller OR-operator. CNF er nyttigt til at bevise automatiseret teorem.
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.
