Respostas dos Exercícios do livro "Lógica para Computação"

De Wiki DAINF
Edição feita às 21h56min de 18 de dezembro de 2012 por Adolfo (disc | contribs)

Capítulo 1

Versão Provisória

A resposta dos exercícios do livro (SILVA; FINGER; MELO, 2006) (ver a bibliografia da disciplina) está, em versão provisória, em:


Errata

As respostas desta lista de exercícios foram elaboradas pelo monitor da disciplina em 2009: Max Raphael Sobroza Marques.

Eu, Adolfo Neto, à medida em que for encontrando erros nas respostas do Max, vou colocando a resposta correta aqui:

  • 1.1 (b): <math>p \vee q \vee (r \vee s)</math>
  • 1.2 (a): <math>(\neg p \rightarrow q)</math>
  • 1.2 (b): <math>(((p \wedge \neg q) \wedge r) \wedge \neg s)</math>
  • 1.2 (d): <math>((p \wedge \neg q) \vee (r \wedge s))</math>
  • 1.2 (e): <math>((p \wedge \neg (p \rightarrow \neg q)) \vee \neg q)</math>
  • 1.7 (f): segunda linha é 0110 (apontado por Wyllian)
Ferramentas pessoais