Lista 3 - Exercício 5 por Andre Jucovsky Bianchi - terça-feira, 4 mai. 2010, 16:26 Número de respostas: 1 A pergunta é: HORNSAT está contida em CSAT? Ou, em outra palavras, as fórmulas em HORNSAT estão na forma CNF? Link direto Em resposta à Andre Jucovsky Bianchi Re: Lista 3 - Exercício 5 por José Coelho de Pina - terça-feira, 4 mai. 2010, 17:00 Sim. Link direto Mostrar principal
Em resposta à Andre Jucovsky Bianchi Re: Lista 3 - Exercício 5 por José Coelho de Pina - terça-feira, 4 mai. 2010, 17:00 Sim. Link direto Mostrar principal