Contente
- Definição - O que significa Forma Normal Conjuntiva (CNF)?
- Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
- 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.
Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
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 formato normal disjuntivo.