Resolução de alguns exercícios da cadeira de Lógica para Computação.
No issues in this repository yet.