Projeto da disciplina PCS2427 - Lógica Computacional, do curso de Engenharia Elétrica com ênfase em Computação da Escola Politécnica da USP