Um Estudo Sobre Ferramentas Para Simplificação De Expressões Booleanas. Da Interface a Aplicabilidade. SIEPE 2020, 5 (2).