Calcule e interprete o resultado de fórmulas da lógica proposicional.
advertisement
| Nome | Logic Calculator |
|---|---|
| Versão | 1.1.4 |
| Atualizar | 26 de 09 de 2023 |
| Tamanho | 19 MB |
| Categoria | Ferramentas |
| Instalações | 50mil+ |
| Desenvolvedor | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Capturas de tela
Logic Calculator · Descrição
Com o aplicativo, você pode:
- verificar se a sequência de caracteres é uma fórmula bem formada;
- obter a Notação Polonesa Normal - i.e., a notação prefixa;
- obter a Notação Polonesa Reversa - i.e., a notação posfixa;
- obter as subfórmulas;
- obter a Forma Normal Disjuntiva (FND) e a Forma Normal Conjuntiva (FNC);
- gerar a tabela verdade;
- atribuir símbolos de verdade aos símbolos proposicionais e obter a interpretação das fórmulas.
Adicionalmente, você pode definir a ordem de precedência dos conectivos lógicos.
- verificar se a sequência de caracteres é uma fórmula bem formada;
- obter a Notação Polonesa Normal - i.e., a notação prefixa;
- obter a Notação Polonesa Reversa - i.e., a notação posfixa;
- obter as subfórmulas;
- obter a Forma Normal Disjuntiva (FND) e a Forma Normal Conjuntiva (FNC);
- gerar a tabela verdade;
- atribuir símbolos de verdade aos símbolos proposicionais e obter a interpretação das fórmulas.
Adicionalmente, você pode definir a ordem de precedência dos conectivos lógicos.
