Meus caros, segue o link para fazer o download da ferramenta que permite simular os circuitos lógicos que estudamos nas aulas, bem como testar seus estados lógicos através da verificação das tabelas-verdade.
http://www.softronix.com/logic.html
Beixe o "setup kit" e instale na sua máquina.
Boas simulações e bom divertimento!