Páginas com hiperligações para "Forma normal disjuntiva"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Forma normal disjuntiva:
Mostrando 12 itens.
- Problema de satisfatibilidade booliana (← afluentes)
- Forma normal prenex (← afluentes)
- Forma normal conjuntiva (← afluentes)
- Forma normal da negação (← afluentes)
- Lógica proposicional (← afluentes)
- Forma normal algébrica (← afluentes)
- Dedução natural (← afluentes)
- Tautologia (lógica) (← afluentes)
- Autômato finito alternado (← afluentes)
- Eliminação da disjunção (← afluentes)
- Eliminação de quantificadores (← afluentes)
- Forma normal canônica (← afluentes)