Logic Calculator para Android

Ferramenta Abrangente para Lógica Proposicional

O Calculador Lógico é um aplicativo utilitário versátil para Android, projetado para usuários envolvidos em lógica proposicional. Este aplicativo gratuito oferece uma variedade de recursos que auxiliam na verificação de fórmulas bem formadas (WFF) e na conversão de fórmulas de lógica proposicional em várias notações, incluindo Notação Polonesa Normal (NPN) e Notação Polonesa Reversa (RPN). Além disso, permite que os usuários extraiam subfórmulas e convertam fórmulas em forma normal disjuntiva (DNF) e forma normal conjuntiva (CNF).

O aplicativo também inclui a capacidade de gerar tabelas-verdade e atribuir valores de verdade a símbolos proposicionais, fornecendo interpretações das fórmulas. Os usuários podem personalizar sua experiência selecionando diferentes ordens de precedência para conectivos lógicos, tornando-o uma ferramenta abrangente para estudantes e profissionais que precisam trabalhar com lógica proposicional de forma eficiente.