Cuprins:
- Definiție - Ce înseamnă Forma normală conjunctivă (CNF)?
- Techopedia explică forma normală conjunctivă (CNF)
Definiție - Ce înseamnă Forma normală conjunctivă (CNF)?
Forma normală conjunctivă (CNF) este o abordare a logicii booleene care exprimă formulele sub formă de conjuncții de clauze cu un 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.
Techopedia explică forma normală conjunctivă (CNF)
În formă conjunctivă normală, 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 fiind 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ă.
