Material de Aula
Apostila (imprima apenas até a Unidade 11, Resolução e Fórmulas de Horn).
Gabarito da apostila de Introdução à Lógica Matemática do curso de Sistemas de Informação --- a maioria dos exercícios está presente na apostila de vocês.