The sole purpose of this program is generating, and displaying, truth tables on mobile devices, notably mobile telephones. It will work with most Android devices. Trying out the program on an Android phone of your choice won't do any harm; if it proves not to work with the respective phone, just uninstall it, and, optionally, hope for a future version.

The free version supports all usual connectives of classical logic, that is negation, conjunction, (inclusive) disjunction, conditional (material implication), and biconditional (material equivalence), NAND, NOR, and XOR, 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 wrongs don't always make a right, so to speak!

No animals have been harmed in the making of this application.

Keywords: logic, propositional logic, truth-tables, truth-values, truth tables, truth values

Screenshots: