X

Join or Sign In

Sign in to add and modify your software

Continue with email

By joining Download.com, you agree to our Terms of Use and acknowledge the data practices in our Privacy Policy.

Truth Tables for Android

By Erpelstolz Free

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 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

Full Specifications

What's new in version 3.020001

maintenance release (under very rare circumstances, the application could close when changing the orientation of the device with the settings dialog open)

General

Release December 11, 2011
Date Added December 11, 2011
Version 3.020001

Operating Systems

Operating Systems Android, Android 2.1
Additional Requirements Compatible with Android 2.1 and above.

Popularity

Total Downloads 54
Downloads Last Week 0
Report Software

Related Apps

TED

Free
TED

Star Chart

Free
Star Chart

Bible for Kids

Free
Bible for Kids

CES 6.0.0 Answers

Free
CES 6.0.0 Answers