Logic Calculator Free è un'app che dà il valore della verità di una proposizione logica da 2 modi diversi: puoi inserire il valore di verità individuale delle variabili per fornire un singolo valore di verità vero o falso che corrisponde all'intera proposizione, oppure puoi inserire la proposizione logica e dà automaticamente una tabella di verità con tutte le possibili combinazioni a seconda del numero di variabili in uso. In tal caso il risultato può essere una tautologia, una contingenza o una contraddizione.
La calcolatrice ha anche una modalità di confronto. Confronta fino a 3 proposizioni per verificarne l'equivalenza. Dopo la verifica compila automaticamente la tabella della verità del confronto.
Opperations supportati: AND, NAND, OR, NOR, XOR, IMPLICATION, BICONDITIONAL.
- Fino a 6 variabili disponibili in questa versione gratuita (64 possibili combinazioni). - Errori di sintassi contrassegnati per trovarli più facilmente. - Personalizzazione della tastiera. - Parentesi, parentesi quadre e parentesi quadre nidificate per calcoli complessi. - Dimostrazione passo dopo passo. - Elenco delle ultime proposte calcolate. - Elenco delle regole di inferenza con la possibilità di testarne uno qualsiasi. NUOVO! Le leggi di equivalenza elencano con esempi. - Teoria delle tabelle della verità di tutti gli operatori logici. - Nessuna connessione internet necessaria per il calcolo! - Più modalità di calcolo negli aggiornamenti futuri!
cronologia delle versioni
- Versione 4.1 pubblicato il 2016-08-31
- Corretti i bug dell'interfaccia secondaria.
Dettagli del programma
- Categoria: Istruzione > Strumenti didattici e di formazione
- Editore: Hernan Gabriel Romero
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 4.1
- Piattaforma: android