Definição – o que significa a 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 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 prova automatizada de teoremas.
Definirtec explica a forma normal conjuntiva (CNF)
Na forma normal conjuntiva, os enunciados na lógica booleana são conjunções de cláusulas com cláusulas de disjunções. Em outras palavras, uma instrução é uma série de ORs conectadas 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 AND B
Literais são vistos no CNF como conjunções de cláusulas literais e conjunções que possuem uma única cláusula. É possível converter em CNF declarações escritas em outra forma, como a forma normal disjuntiva.