Índice:
- Definição - O que significa Forma Normal Conjuntiva (CNF)?
- Techopedia explica a Forma Normal Conjuntiva (CNF)
Definição - O que significa Forma Normal Conjuntiva (CNF)?
A forma normal conjuntiva (CNF) é uma abordagem da lógica booleana que expressa fórmulas como conjunções de cláusulas com um AND ou OR. Cada cláusula conectada por uma conjunção, ou AND, deve ser literal ou conter uma disjunção ou operador OR. O CNF é útil para a prova automatizada de teoremas.
Techopedia explica a Forma Normal Conjuntiva (CNF)
Na forma conjuntiva normal, declarações na lógica booleana são conjunções de cláusulas com cláusulas de disjunções. Em outras palavras, uma declaração é uma série de ORs conectados por ANDs.
Por exemplo:
(A ou B) e (C ou D)
(A OU B) E (NÃO C OU B)
As cláusulas também podem ser literais:
A OU B
A e B
Os literais são vistos na CNF como conjunções de cláusulas literais e conjunções que possuem uma única cláusula. É possível converter instruções em CNF gravadas em outro formato, como no formato normal disjuntivo.
