Logic Calculator

Con questa app puoi:

- verificare se una sequenza di caratteri è una formula ben formata (WFF);
- ottenere la notazione polacca normale (NPN) - cioè una notazione prefisso - di formule logiche proposizionali;
- ottenere la notazione polacca inversa (RPN), cioè una notazione postfissa - di formule logiche proposizionali;
- ottenere le subformule delle formule di logica proposizionale;
- ottenere una forma normale disgiuntiva (DNF) e una forma normale congiuntiva (CNF) formule di formule logiche proposizionali;
- generare tabelle di verità per formule di logica proposizionale;
- assegnare valori di verità ai simboli proposizionali e ottenere l'interpretazione delle formule della logica proposizionale.

Inoltre, puoi scegliere diversi ordini di precedenza per i connettivi logici.