Truth Tables 3.43
Sarai in grado di scaricare in 5 secondi.
Circa Truth Tables
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!