Truth Tables for Android

Used Truth Tables for Android?

Developer’s Description

The sole purpose of this program is generating, and displaying, truth tables. So, my fellow logicians: Don't ask what the truth-tables program can...

The sole purpose of this program is generating, and displaying, truth tables. So, my fellow logicians: Don't ask what the truth-tables program can do for you - ask what you can do for the truth-tables program!This free version supports all usual connectives of classical logic, that is negation, conjunction, (inclusive) disjunction, conditonal (material implication), and biconditional (material equivalence), as well as the constants 1 and 0 denoting truth and falsehood, respectively. A cool thing is that, besides the somewhat boring standard notation of logic, you may use Lukasiewicz's stream-lined, shiny Polish notation, too! Isn't that a deal?And it doesn't stop here. If you are the down-to-earth, common-sense kind of person, you will find it reassuring that, by default, the program uses classical, two-valued, logic. But if you are more of the adventurous type, never stopping short of an adventure life may offer, you will be delighted to learn that Truth Tables for Android supports a number of non-classical, multi-valued systems of logic, too. Never enter a river twice, and two negatives don't make an affirmation, so to speak!No animals have been harmed in the making of this application.Version history3.020001 - maintenance release3.01002 - allowing for fixed orientation (requested by a user)3.01: Adding scrollbars (requested by a user)3.0: This is a major rework of the inner workings, leading to a smoother and virtually limitless user experience (there are no more relevant limits to the size of the truth-table).2.1: Now you may enter more than one proposition at a time (separated by commas). In this case, the program will show an integrated truth-table for all the propositions.2.05: optionally suppresses the Android soft keyboard (requested by a user)2.04: support for older Android versions (from 1.6) plus minor bugfix (when rotating the screen with the settings dialog open, changed settings from this dialog did not get applied)2.03: more attractive display of the history of entered propositions - purely cosmetical2.02: adding a history function for propositions (requested by a user)2.01: adding an additional level of verbosity showing the valuations for complex sub-expressions, but not for atomic sub-expressions (requested by an estimated user)2.0: Optionally, the truth table shows all intermediate results, too ("detailed truth table"); internal improvements1.000020101: adding NAND, NOR, and XOR (a long press at the buttons for conjunction, disjunction, and equivalence will enter NAND, NOR, and XOR, respectively)1.0000201: persistently saving the global settings; a long press on the Delete button clears the whole input field1.00002: Due to an entry missing from the list of the English string resources, the English version of the application was unable to open the main settings dialog...1.00001: generating a much more space-saving version of the APK fileKeywords: truth tables truth-tables truth-table Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikRecent changes:maintenance release (under very rare circumstances, the application could close when changing the orientation of the device with the settings dialog open)Content rating: Everyone