Este artigo apresenta um ambiente computacional para síntese e análise de funções lógicas. O ambiente proposto, chamado de Karma 3, oferece um conjunto de ferramentas de apoio (CAD) para o ensino e formação de estudantes de computação e eletrônica na área de conhecimento de síntese lógica e circuitos digitais, mais precisamente em relação aos fundamentos de construção, otimização e análise de funções Booleanas. O ambiente foi desenvolvido em plataforma Java e não há similar disponível no mercado ou na academia. A ferramenta Karma, em suas mais diversas versões, vem sendo utilizada em cursos de graduação há alguns anos, e atualmente encontra-se estável e abrangente, embora sempre seja possível agregar novos métodos e algoritmos relacionados com o seu propósito. O Karma 3 pode ser utilizado em aulas presenciais (versão GUI – interface gráfica do usuário), no ensino à distância (versão applet para navegadores WEB), na formação de novos pesquisadores na área de síntese lógica e programadores Java através do desenvolvimento de novos módulos, bem como para auxílio na produção de resultados científicos através do seu uso por comandos de console e scripts.