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, conditional (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 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!
What's New in This Release:
· optionally showing separator lines between main columns (requested by a user)
What's New in 3.251:
· you may optionally fix the screen orientation to portrait or landscape
What's New in 3.251:
· reorganizing the global settings
· adding the choice between numbers and letters for classical truth-values (1/0 versus T/F)
What's New in 3.251:
· on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
· Screen real estate permitting, there are now separate buttons for NAND, NOR, and XOR
· Screen size permitting, a goose optionally replaces the green check mark
· better Honeycomb support
· addressing a minor duck
· (trying to) clarify the difference between the Settings (permanent) and the properties of the current truth-table
· allowing the app to be moved to the SD card
What's New in 3.0100101:
· minor changes - further raising the (theoretical) limit of truth table size (from some 200 millions lines to some fantastillions)
What's New in 3.01001:
· improving scrolling (adding scrollbars and animation)
What's New in 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).
What's New in 2.101:
· minor bugfix: when entering a list of propositions, a certain class of syntax errors was not recognized, but ignored
|
