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.