Home
App
Istruzione
Truth Tables

Truth Tables

8.7 53

v3.43 di Erpelstolz

Download on the Google Play

⇒ Cosa e rsquo è il file .APK / .XAPK e come si installa?

Truth Tables

Scarica

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)