A free app for Android, by Stefan Beike.
Truth Tables is a program for generating and displaying truth tables, in either the usual two-dimensional or the more user-friendly, three-dimensional table. The program supports a wide variety of connectives, including negation, conjunction, (inclusive) disjunction, conditonal (material implication), and biconditional (material equivalence). It also supports a number of non-classical systems of logic, such as multiple-valued logic, and it is compatible with a number of different truth-table representations.
The truth tables are generated in a format that is easy to read and understand, regardless of whether you are a beginner in logic or a specialist. The program supports a wide variety of different connectives, and it is compatible with a number of different truth-table representations.
