Páginas com hiperligações para "Forma normal disjuntiva"
As seguintes páginas têm hiperligações para Forma normal disjuntiva:
São apresentadas 18 páginas.
- Problema de satisfatibilidade booliana (← afluentes | editar)
- Forma normal prenex (← afluentes | editar)
- Forma normal conjuntiva (← afluentes | editar)
- Forma Normal Disjuntiva (página de redirecionamento) (← afluentes | editar)
- Forma normal da negação (← afluentes | editar)
- Lógica proposicional (← afluentes | editar)
- Forma normal algébrica (← afluentes | editar)
- Dedução natural (← afluentes | editar)
- Prova automática de teoremas (← afluentes | editar)
- Tautologia (lógica) (← afluentes | editar)
- Autômato finito alternado (← afluentes | editar)
- Sharp-SAT (← afluentes | editar)
- Eliminação da disjunção (← afluentes | editar)
- Eliminação de quantificadores (← afluentes | editar)
- Grafo AND-inversor (← afluentes | editar)
- Forma normal canônica (← afluentes | editar)
- Lógica do functor predicado (← afluentes | editar)
- Discussão:Forma normal disjuntiva (transclusão) (← afluentes | editar)