Calculate and interpret the result of propositional logic formulas.

Ultima versione

Versione
Aggiornare
5 set 2023
Sviluppatore
Categoria
Installazioni
50.000+

App APKs

Logic Calculator APP

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.
Ulteriori informazioni

Pubblicità