LogicParser : risolvere e confrontare espressioni logiche non è mai stato così facile
Disponibile da qualche giorno in App Store, LogicParser è una semplice applicazione che permette, con facilità, di risolvere e confrontare espressioni logiche.
Con questa applicazione è facile e intuitivo conoscere i valori di verità di espressioni booleane complesse e visualizzare le rispettive tabelle di verità, nonchè effettuare un confronto tra espressioni logiche diverse, in modo da semplificare la risoluzione di problemi di logica.
Ecco le caratteristiche di questa applicazione:
- Nessuna necessità di inserire i nomi delle variabili: l’analizzatore lessicale è in grado di riconoscere i nomi delle variabili senza che queste vengano specificate separatamente. Qualunque lettera dell’alfabeto può essere usata come variabile
- Supporta fino ad 8 variabili
- Supporta sia la sintassi tipica dei linguaggi di programmazione (a&b|c) che quella tipica degli studi di logica (ab+c)
- Disponibile in Italiano e Inglese
Operatori accettati:
- not (! prefisso oppure ‘ postfisso)
- and (& oppure niente)
- or (| oppure +)
- xor binario (^)
- nand (/)
- nor (<)
- xnor (°)
Gli operatori rispettano l’ordine di precedenza standard: not, and, xor, or, tutti gli altri. In ogni caso di dubbio o ambiguità è possibile specificare l’ordine semplicemente attraverso l’uso delle parentesi.
LogicParser è disponibile in App Store ed è compatibile con iPhone, iPod touch e iPad. Richiede l’iOS 4.3 o successive.
