Content
- Definició: què significa la forma normal conjuncional (CNF)?
- Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
- Techopedia explica la forma normal conjuncional (CNF)
Definició: què significa la forma normal conjuncional (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.
Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
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 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.