Truth Tables for Android APK

Descrizione

L'unico scopo di questo programma è generare e visualizzare tabelle di verità. Quindi, miei colleghi logici: non chiedete cosa può fare per voi il programma delle tabelle della verità - chiedete cosa potete fare per il programma delle tabelle della verità! Questa versione gratuita supporta tutti i connettivi usuali della logica classica, cioè negazione, congiunzione, (inclusiva) disgiunzione, condizionale (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 della logica un po' noiosa, puoi usare anche la notazione polacca snella e lucida di Lukasiewicz! Non è un affare? E non si ferma qui. Se sei il tipo di persona con i piedi per terra e di buon senso, troverai rassicurante il fatto che, per impostazione predefinita, il programma utilizzi la logica classica a due valori. Ma se sei più un tipo avventuroso, non fermarti mai prima di un'avventura che la vita può offrire, sarai felice di apprendere che Truth Tables per Android supporta anche una serie di sistemi logici non classici e multivalore. Non entrare mai due volte in un fiume e due negativi non fanno un'affermazione, per così dire!Nessun animale è stato danneggiato durante la realizzazione di questa applicazione. utente)3.01: Aggiunta di barre di scorrimento (richieste da un utente)3.0: Si tratta di un'importante rielaborazione del funzionamento interno, che porta a un'esperienza utente più fluida e praticamente illimitata (non ci sono limiti più rilevanti alla dimensione della tabella della verità). 2.1: Ora puoi inserire più di una proposizione alla volta (separata da virgole). In questo caso, il programma mostrerà una tabella di verità integrata per tutte le proposizioni.2.05: opzionalmente sopprime la tastiera software Android (richiesto da un utente)2.04: supporto per versioni precedenti di Android (da 1.6) più correzione di bug minori (ruotando il schermata con la finestra di dialogo delle impostazioni aperta, le impostazioni modificate da questa finestra di dialogo non sono state applicate)2.03: visualizzazione più attraente della cronologia delle proposte immesse - puramente cosmetica2.02: aggiunta di una funzione di cronologia per le proposte (richiesta da un utente)2.01: aggiunta di una ulteriore livello di verbosità che mostra le valutazioni per sottoespressioni complesse, ma non per sottoespressioni atomiche (richiesto da un utente stimato)2.0: facoltativamente, la tabella di verità mostra anche tutti i risultati intermedi ("tabella di verità dettagliata"); miglioramenti interni1.000020101: aggiunta di NAND, NOR e XOR (una pressione prolungata sui pulsanti di congiunzione, disgiunzione ed equivalenza farà entrare rispettivamente NAND, NOR e XOR)1.0000201: salvataggio persistente delle impostazioni globali; una pressione prolungata sul pulsante Elimina cancella l'intero campo di input1.00002: A causa di una voce mancante nell'elenco delle risorse stringa in inglese, la versione inglese dell'applicazione non è stata in grado di aprire la finestra di dialogo delle impostazioni principali...1.00001: generazione di un molto più versione salvaspazio del file APKParole chiave: tabelle della verità tabelle della verità tabella della verità Wahrheitstafel Wahrheitstafeln Wahrheitstabellen Wahrheitstabellen Aussagenlogik LogikModifiche recenti:autorizzazione di manutenzione (in circostanze molto rare, l'applicazione potrebbe chiudersi quando si cambia l'orientamento del dispositivo con la finestra di dialogo delle impostazioni aperto) Classificazione dei contenuti: Tutti