Forma normal clausal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 74:
*[http://www.mat.unb.br/~ayala/LECTURES/IaC/notasIaC2005II.pdf RINCÓN, Mauricio Ayala; '''Fundamentos da Programação Lógica e Funcional - O Princípio da Resolução e a Teoria da Escrita'''; Acessado em 17 de dezembro de 2006]
==
*[[Cláusula (lógica)]]
Linha 87:
{{Wikibooks|Lógica}}
[[Categoria:Lógica matemática]]
[[en:Clausal normal form]]
| |||