A segunda prova irá exigir mais especificamente conhecimentos adquiridos entre os capítulos 5 e 7, inclusive, do livro Lógica para Ciência da Computação do Prof. João Nunes de Souza, lembrando que todo o conhecimento prévio também é exigido, uma vez que é utilizado nas definições e ferramentas.
Em Adição, será exigido também conhecimento em portas lógicas, funções e circuitos lógicos e simplificação de funções/circuitos lógicos utilizando a álgebra booleana ou mapas de Karnaugh.
Para essa ementa consulte as seguintes fontes na internet:
http://www.estgv.ipv.pt/PaginasPessoais/ffrancisco/sd0506/05km.pdf
http://www.inf.ufsc.br/~guntzel/isd/isd2.pdf
http://dcm.ffclrp.usp.br/~augusto/teaching/aba/AB-Funcoes-Logicas-Portas-Logicas.pdf
http://www.feng.pucrs.br/~decastro/pdf/ED_C1.pdf
http://www.inf.ufsc.br/ine5365/clteoria.html
http://pt.slideshare.net/thild/simplificacao-mapas-karnaugh
Bons Estudos.