Conţinut
- Definiție - Ce înseamnă Forma Conjunctivă Normală (CNF)?
- O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
- Techopedia explică forma normală conjunctivă (CNF)
Definiție - Ce înseamnă Forma Conjunctivă Normală (CNF)?
Forma normală conjunctivă (CNF) este o abordare a logicii booleane care exprimă formulele sub formă de conjuncții de clauze cu AND sau OR. Fiecare clauză legată de o conjuncție, sau AND, trebuie să fie literal sau să conțină o disjuncție, sau un operator OR. CNF este util pentru dovedirea automată a teoremei.
O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
Techopedia explică forma normală conjunctivă (CNF)
În formă normală conjunctivă, enunțurile din logica booleană sunt conjuncții de clauze cu clauze de disjuncție. Cu alte cuvinte, o afirmație este o serie de OR conectate de AND-uri.
De exemplu:
(A SA B) ȘI (C SA D)
(A SAU B) ȘI (NU C SAU B)
Clauzele pot fi, de asemenea, literale:
A SAU B
A ȘI B
Literalele sunt văzute în CNF ca conjuncții de clauze literale și conjuncții care se întâmplă să aibă o singură clauză. Este posibil să se transforme declarații în CNF care sunt scrise într-o altă formă, cum ar fi forma normală disjunctivă.