Innehåll
- Definition - Vad betyder konjunktiv normalform (CNF)?
- En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
- Techopedia förklarar konjunktiv normal form (CNF)
Definition - Vad betyder konjunktiv normalform (CNF)?
Konjunktiv normalform (CNF) är en metod 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.
En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
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 OR: er anslutna av OCH.
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.