Pagina's die verwijzen naar "Literaal"
← Literaal
De volgende pagina's verwijzen naar Literaal:
Er worden 14 items getoond.
- Atoom (logica) (← koppelingen | bewerken)
- Conjunctieve normaalvorm (← koppelingen | bewerken)
- Resolutie (logica) (← koppelingen | bewerken)
- Disjunctieve normaalvorm (← koppelingen | bewerken)
- Clausule (logica) (← koppelingen | bewerken)
- Pure literal (redirect) (← koppelingen | bewerken)
- Complementaire literal (redirect) (← koppelingen | bewerken)
- Vervulbaarheid (← koppelingen | bewerken)
- Tseitin-transformatie (← koppelingen | bewerken)
- Demodulatie (afleidingsregel) (← koppelingen | bewerken)
- Horn-clausule (← koppelingen | bewerken)
- Vervulbaarheidsprobleem (← koppelingen | bewerken)
- Literal (redirect) (← koppelingen | bewerken)
- Conjunctieve normaalvorm (← koppelingen | bewerken)
- Disjunctieve normaalvorm (← koppelingen | bewerken)
- Clausule (← koppelingen | bewerken)
- One-literal rule (← koppelingen | bewerken)
- Monotone variable fixing (← koppelingen | bewerken)
- DPLL-algoritme (← koppelingen | bewerken)
- Gebruiker:Simeon (← koppelingen | bewerken)
- Gebruiker:Simeon/Bijdragen (← koppelingen | bewerken)
- Gebruiker:Legobot/Wikidata/enwiki (← koppelingen | bewerken)