Páginas com hiperligações para "Forma normal conjuntiva"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Forma normal conjuntiva:
Mostrando 24 itens.
- Problema de satisfatibilidade booliana (← afluentes)
- Forma normal clausal (← afluentes)
- Forma normal prenex (← afluentes)
- Cláusula de Horn (← afluentes)
- Princípio da resolução (← afluentes)
- Forma normal disjuntiva (← afluentes)
- Forma normal da negação (← afluentes)
- Lógica proposicional (← afluentes)
- Algoritmo Chaff (← afluentes)
- Forma normal algébrica (← afluentes)
- Algoritmo de Davis-Putnam (← afluentes)
- Dedução natural (← afluentes)
- Silogismo disjuntivo (← afluentes)
- Tautologia (lógica) (← afluentes)
- Teorema de Cox (← afluentes)
- Teorema de Cook-Levin (← afluentes)
- Equissatisfatibilidade (← afluentes)
- MAX-3SAT (← afluentes)
- Problema de satisfatibilidade máxima (← afluentes)
- SNP (complexidade) (← afluentes)
- Transformação de Tseytin (← afluentes)
- Problema da satisfatibilidade de circuito (← afluentes)
- Forma normal canônica (← afluentes)
- Programação em lógica indutiva (← afluentes)