Truth Tables

Truth Tables


The sole purpose of this program is generating, and displaying, truth tables.

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.

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 enterprise, 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!

Recent changes:
* 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)
Add to list
Free
86
4.3
User ratings
222
Installs
10,000+
Concerns
0
File size
207 kb
Screenshots
Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables Screenshot of Truth Tables
About Truth Tables
The sole purpose of this program is generating, and displaying, truth tables.

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.

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 enterprise, 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!

Recent changes:
* 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)

User reviews of Truth Tables
Write the first review for this app!
Android Market Comments
A Google User
Dec 4, 2014
Very Useful This is a very good app for my math class. The only thing I can't get to work on my Galaxy S5 are the NOR and NAND functions. When I do the long hold on OR or AND, nothing happens.
A Google User
Oct 16, 2014
Isn't allowing keyboard The app isn't allowing me to manually type in operators. Tried switching keyboards but still nothing. (SwiftKey to stock, then back)
A Google User
Aug 17, 2014
U suck Its stupid theres a wierd chicken in it ;-)
A Google User
Aug 3, 2014
Good Apps. Very useful apps.
A Google User
Nov 30, 2013
Totally awesome