Taula de continguts:
- Definició: què vol dir la Forma Normal Conjuntiu (CNF)?
- Techopedia explica la forma normal conjuncional (CNF)
Definició: què vol dir la Forma Normal Conjuntiu (CNF)?
La forma conjuntiu normal (CNF) és una aproximació a la lògica booleana que expressa fórmules com a conjuncions de clàusules amb AND o OR. Cada clàusula connectada per una conjunció, o AND, ha de ser un literal o contenir una disjunció o un operador OR. CNF és útil per demostrar el teorema automatitzat.
Techopedia explica la forma normal conjuncional (CNF)
En forma normal conjuntiu, els enunciats de la lògica booleana són conjuncions de clàusules amb clàusules de disjuntions. En altres paraules, una declaració és una sèrie d’OR connectats per ANDs.
Per exemple:
(A O B) I (C O D)
(A O B) I (NO C O B)
Les clàusules també poden ser literals:
A O B
A I B
A la CNF, els literals es consideren com a conjuncions de oracions literals i de conjuncions que tenen una clàusula única. És possible convertir en CNF declaracions escrites en una altra forma, com la forma normal disjuntiu.
