Truth Table Constructor (Requires Java 1.6 or later)
Truth Table Constructor is a powerful application that constructs truth tables for statements in propositional logic. Version 3.0 has been completely redesigned, allowing for numerous new features, improved performance, and greater ease of use. Whether you are student just getting acquainted with symbolic logic, an instructor in search of teaching aids, or a practitioner who needs to generate truth tables as part of a larger project, Truth Table Constructor is the tool of choice.
Download executable JAR: TruthTableConstructor.jar
Version 3.0 Features
- Redesigned User Interface
- Truth Table Constructor 3.0 uses Java Swing for the user interface. In addition to the aesthetics Swing naturally provides, the controls have been carefully laid out to ensure an overall pleasant experience.
- Support for Large Tables
- Version 3.0 supports up to 26 propositions, thus creating tables with approximately 67 million rows. Even such large tables are displayed instantly.
- Textual Truth Tables
- The user can work with textual truth tables in addition to the standard graphical tables, and it's easy to switch between the two at any given time.
- Ability to Save Truth Tables
- Truth Table Constructor now provides the ability to export truth tables to file. The user can save the tables in text format or choose among four different graphic formats, namely BMP, GIF, JPEG, and PNG.
- Row and Column Numbers
- Users can choose to label row and column numbers. Labeling rows makes it easy to find a specific truth assignment, while labeling columns illustrates the order in which connectives are evaluated.
- Alternate Row Coloring
- Truth Table Constructor can gently shade alternate rows to facilitate focusing on a single row in a large truth table.
- Adjustable Text Size
- The user can increase or decrease the text size according to his or her needs. Graphical truth tables are exported with the text size seen on the screen.
- Constants
- Users can enter statements that include the constants true and false, denoted by 1 and 0, respectively.
Generated Images and Screenshots
Truth table with row numbers labeled
Truth table with alternate row colors and with row and column numbers labeled
Textual truth table with binary output
Truth Table Constructor user interface (click to enlarge)