Su Truth Tables

L'unico scopo di questo programma sta generando, e la visualizzazione, tabelle di verità.
Questa versione gratuita supporta tutti i connettivi usuali della logica classica, cioè la negazione, congiunzione, (compreso) disgiunzione, conditonal (implicazione materiale), e bicondizionale (equivalenza materiale), così come le costanti 1 e 0 che denotano la verità e la menzogna, rispettivamente. Una cosa interessante è che, oltre alla notazione standard un po 'noioso di logica, è possibile utilizzare snella, la notazione polacca brillante di Lukasiewicz, troppo.
E non si ferma qui. Se sei il, senso comune tipo di persona con i piedi per terra, lo troverete rassicurante che, per impostazione predefinita, il programma utilizza classica, a due valori, la logica. Ma se siete più di un tipo avventuroso, senza mai fermarsi a corto di un'impresa, sarete felici di sapere che le tabelle di verità per Android supporta una serie di non-classici, sistemi multi-valore della logica, troppo. Mai entrare in un fiume due volte, e due negativi non fanno un'affermazione, per così dire!

Aggiornamento Truth Tables 3.43

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Leggi di Più
Versioni Precedenti Altro
Truth Tables
Truth Tables 3.43 APK
August 3, 2015 207.08 KB

Requires Android: Android 2.2+

Screen DPI: 120-320dpi

SHA1: b5ab4efd079fa5ba267e0aaf0ee394200be88ee9

Size: 207.08 KB

What's New:

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Maggiori Informazioni

Data Aggiornamento:

Ultima Versione:

3.43

Aggiornamento Necessario:

Invia l'ultima versione

Disponibile su:

Google Play

Requisiti:

Android 2.2+