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.
Frequently Asked Questions
* There is NO (practical) limit to the number of propositional variables you may use. What is restricted, on the other hand, is screen real-estate. This is why the program only shows a limited number of propositional letter keys (P, Q, R,...). If you need more than the letters shown, just use the Android software keyboard to enter them. You may use upper-case letters (A, B, C,...) with an optional index (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12,... you get the point).
* The program DOES save your settings - settings, that is, which you set in the, well, "Settings" function. On the result page (where the truth-table is shown), there is an "Edit table" function for quickly editing the current truth-table. These edits are NOT permanent - they are intended for quickly switching between, and comparing, e.g. different logical systems.
* Depending on screen real-estate, the program will not always show a separate button for EVERY connective. If there is no separate NAND button shown, you may get the NAND function by pressing the AND button for a long time. The same holds true for NOR (a long press on the OR button), for XOR (the biconditional button), and even for the comma (here the NOT button is the button you'll have to press for a longer time). This, I think, is more convenient than having all the buttons, but having them terribly small. You know, there are older, and short-sighted ducks, too.
Keywords: truth tables truth-tables truth-table Boolean logic Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik Boolesche Logik
