Logic Calculator

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.