Truth Table Builder is an easy, quick and reliable app that builds truth tables from Boolean/propositional formulae that you enter.

Features:

-Build truth table of up to 16 variables
-Shows sub-expressions of the formula
-Splits formula based on operator precedence rule so that original -truth function is preserved
-Supports all variable letters and logical operators
-Custom symbol buttons for easy input of formula
-History of recently entered formula
-Export truth tables as CSV
-Customize operators and truth constants

Number of variables versus estimated runtimes:
1-12: 1s
13: 5s
14: 20s
15: 1 min
16: 5 min