Pagina's die verwijzen naar "Conjunctieve normaalvorm"
Naar navigatie springen
Naar zoeken springen
De volgende pagina's verwijzen naar Conjunctieve normaalvorm:
Er worden 11 items getoond.
- Propositielogica (← koppelingen)
- Literaal (← koppelingen)
- Resolutie (logica) (← koppelingen)
- Disjunctieve normaalvorm (← koppelingen)
- Clausule (logica) (← koppelingen)
- Vervulbaarheid (← koppelingen)
- Tseitin-transformatie (← koppelingen)
- Horn-clausule (← koppelingen)
- DPLL-algoritme (← koppelingen)
- Vervulbaarheidsprobleem (← koppelingen)
- Negatie-normaalvorm (← koppelingen)