Kmap Solver: um aplicativo móvel gratuito para o ensino de simplificações pelo mapa de Karnaugh

O objetivo deste trabalho é documentar o desenvolvimento de um aplicativo didático para o Google Android – sistema operacional para dispositivos móveis –, capaz de resolver expressões lógicas de até cinco variáveis, mostrando soluções obtidas por meio de mapas de Karnaugh. O mapa de Karnaugh é um método tradicional de simplificação de expressões booleanas que permite, a partir de uma visualização gráfica, encontrar variáveis comuns entre termos, minimizando-os. Apesar de simples, aprender competentemente a técnica operatória do mapa requer treino e exemplos com diversas combinações das variáveis de entrada, o que é propiciado nesse aplicativo. A pesquisa realizada a partir das avaliações obtidas no Google Play revelou que existe interesse de alunos e professores na utilização do aplicativo como suporte didático em aulas de ciência da computação, eletrônica e outras áreas afins, tanto em nível médio técnico como em nível superior. A partir das sugestões coletadas na pesquisa, almejam-se, num trabalho próximo, adaptações do algoritmo utilizado, tornando-o mais versátil, de forma que ele possa ser aplicado a disciplinas mais instrumentais, como Álgebra I.  Além disso, o próprio desenvolvimento do algoritmo aqui apresentado representa um ótimo exercício para o ensino de lógica de programação, além da própria lógica booleana.