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.

Annunci

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...