Innholdsfortegnelse:
- Definisjon - Hva betyr konjunktiv normalform (CNF)?
- Techopedia forklarer CNF (Conjunctive Normal Form)
Definisjon - Hva betyr konjunktiv normalform (CNF)?
Konjunktiv normalform (CNF) er en tilnærming til boolsk logikk som uttrykker formler som konjunksjoner av leddsetninger med en AND eller OR. Hver ledd som er koblet sammen med en forbindelse, eller AND, må være bokstavelig eller inneholde en disjunksjon, eller ELLER-operatør. CNF er nyttig for å bevise automatisert teorem.
Techopedia forklarer CNF (Conjunctive Normal Form)
I konjunktiv normalform er utsagn i boolsk logikk konjunksjoner av klausuler med klausuler om disjunksjoner. Med andre ord, en uttalelse er en serie med OR koblet sammen med AND.
For eksempel:
(A ELLER B) OG (C ELLER D)
(A ELLER B) OG (IKKE C ELLER B)
Bestemmelsene kan også være bokstavelige:
A ELLER B
A OG B
Bokstaver blir sett på CNF som konjunksjoner av bokstavlige ledd og konjunksjoner som tilfeldigvis har en enkelt klausul. Det er mulig å konvertere utsagn til CNF som er skrevet i en annen form, for eksempel disjunktiv normalform.
