Pagine che puntano a "Forma normale congiuntiva"
Vai alla navigazione
Vai alla ricerca
Le seguenti pagine contengono dei collegamenti a Forma normale congiuntiva:
Visualizzazione di 15 pagine.
- Teorema di Cook-Levin (← collegamenti)
- DPLL (← collegamenti)
- Algoritmo di Davis-Putnam (← collegamenti)
- Soddisfacibilità booleana (← collegamenti)
- Forma canonica (algebra di Boole) (← collegamenti)
- Forma normale disgiuntiva (← collegamenti)
- Complessità temporale (← collegamenti)
- Sharp-P (← collegamenti)
- Problema della cricca (← collegamenti)
- Letterale (← collegamenti)
- Clausola (logica) (← collegamenti)
- Grafo delle implicazioni (← collegamenti)
- 2-satisfiability (← collegamenti)
- Forma normale negativa (← collegamenti)
- Horn-soddisfacibilità (← collegamenti)