Calculadora Lógica: Ferramenta Essencial para Lógica Proposicional
A Calculadora Lógica é um aplicativo gratuito para Android que oferece uma gama de ferramentas para trabalhar com fórmulas lógicas. Entre suas principais funcionalidades, o usuário pode verificar se uma sequência de caracteres é uma fórmula bem formada (WFF), além de converter fórmulas de lógica proposicional em notações polonesa normal (NPN) e polonesa reversa (RPN). O aplicativo também permite a extração de subfórmulas e a conversão de fórmulas para suas formas normais disjuntiva (DNF) e conjuntiva (CNF).
Além disso, a Calculadora Lógica facilita a geração de tabelas verdade para fórmulas lógicas, possibilitando a atribuição de valores de verdade a símbolos proposicionais e a interpretação das fórmulas. A flexibilidade do aplicativo se destaca com a opção de escolher diferentes ordens de precedência para os conectivos lógicos, tornando-o uma ferramenta útil para estudantes e profissionais que trabalham com lógica formal.
