L'unico scopo di questo programma è generare e visualizzare tabelle di verità.
Questa versione libera supporta tutti i soliti connettivi della logica classica, cioè negazione, congiunzione, disgiunzione (inclusiva), conditonale (implicazione materiale) e bicondizionale (equivalenza materiale), così come le costanti 1 e 0 che denotano rispettivamente verità e falsità. Una cosa interessante è che, oltre alla notazione standard un po 'noiosa della logica, puoi usare anche la notazione polacca lucida foderata di ruscello di Lukasiewicz.
E non si ferma qui. Se sei il tipo di persona con i piedi per terra e di buon senso, troverai rassicurante che, per impostazione predefinita, il programma usi una logica classica a due valori. Ma se sei più avventuroso, senza mai fermarti a corto di un'azienda, sarai felice di sapere che Truth Tables per Android supporta anche una serie di sistemi logici non classici e multivalore. Non entrare mai in un fiume due volte, e due aspetti negativi non fanno un'affermazione, per così dire!
cronologia delle versioni
- Versione 3.43 pubblicato il 2013-11-14
* NAND e NOR sono più importanti per la maggior parte delle dimensioni dello schermo (richiesto da un utente),* ripulire i layout (segnalare qualsiasi problema con i dispositivi esotici),* consentire "*" e "+" rispettivamente per la congiunzione e la disgiunzione (richiesto da un utente),* facoltativamente mostrando linee separatori tra le colonne principali (richieste da un utente),* tastiera su schermo che mostra facoltativamente le lettere proposizionali A, B, C,... invece di P, Q, R,... (richiesto da un utente) - Versione 2.101 pubblicato il 2011-05-02
Diverse correzioni e aggiornamenti
Dettagli del programma
- Categoria: Istruzione > Strumenti didattici e di formazione
- Editore: Erpelstolz
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 3.43
- Piattaforma: android