Innehållsförteckning:
- Definition - Vad betyder konjunktiv normalform (CNF)?
- Techopedia förklarar konjunktiv normal form (CNF)
Definition - Vad betyder konjunktiv normalform (CNF)?
Konjunktiv normalform (CNF) är en strategi för den booleska logiken som uttrycker formler som sammankopplingar av klausuler med en AND eller OR. Varje klausul som är ansluten med en konjunktion, eller AND, måste antingen vara en bokstavlig eller innehålla en disjunktion, eller OR-operatör. CNF är användbart för att bevisa automatiserad teorem.
Techopedia förklarar konjunktiv normal form (CNF)
I konjunktiv normalform är uttalanden i Booles logik konjunktioner av klausuler med klausuler om disjunktioner. Med andra ord, ett uttalande är en serie av OR som är anslutna av AND.
Till exempel:
(A ELLER B) OCH (C ELLER D)
(A ELLER B) OCH (INTE C ELLER B)
Klausulerna kan också vara bokstäver:
A ELLER B
A OCH B
Bokstavar ses i CNF som konjunktioner av bokstavsklausuler och konjunktioner som råkar ha en enda klausul. Det är möjligt att konvertera uttalanden till CNF som är skrivna i en annan form, t.ex. disjunktiv normalform.
