Forma Normale Congiunta
Da Wikipedia, l'enciclopedia libera.
Nella logica booleana, una formula è in forma normale congiunta (CNF, acronimo di "Conjunctive Normal Form". A volte indicato con FNC) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali. Una formula in CNF ha quindi la seguente struttura:
n : Numero di clausole.
m(i) : Numero di letterali della clausola i-esima.
Li,k : È il k-esimo letterale della i-esima clausola. Un letterale può essere una variabile o la negazione di una variabile.
[modifica] Esempi
Le seguenti formule sono in CNF:
L'ultima formula ha due clausole, entrambe con un solo letterale.
[modifica] Voci correlate
- Forma normale disgiunta
- Forma canonica