Sommario:
- Definizione - Cosa significa Conjunctive Normal Form (CNF)?
- Techopedia spiega Conjunctive Normal Form (CNF)
Definizione - Cosa significa Conjunctive Normal Form (CNF)?
La forma congiuntiva normale (CNF) è un approccio alla logica booleana che esprime formule come congiunzioni di clausole con un AND o OR. Ogni clausola connessa da una congiunzione, o AND, deve essere letterale o contenere una disgiunzione o un operatore OR. CNF è utile per la dimostrazione di teoremi automatizzati.
Techopedia spiega Conjunctive Normal Form (CNF)
Nella forma normale congiuntiva, le affermazioni nella logica booleana sono congiunzioni di clausole con clausole di disgiunzione. In altre parole, un'istruzione è una serie di OR collegati da AND.
Per esempio:
(A OR B) E (C OR D)
(A OR B) E (NON C OR B)
Le clausole possono anche essere letterali:
A OR B
A AND B
I letterali sono visti nel CNF come congiunzioni di clausole letterali e congiunzioni che hanno una sola clausola. È possibile convertire istruzioni in CNF che sono scritte in un'altra forma, come la forma normale disgiuntiva.
