Welcome Propositional Logic Precedence/Order of Evaluation Application Usage Examples

Truth Table Constructor 3.0

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

What's new in version 3.0?

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.

Revision History

Version Release Date Summary of Changes
3.0.8 July 1, 2013 Fixed problem with setting the minimum size of the window.
3.0.7 April 14, 2012 Fixed problem with status bar seen under Java 7.
3.0.6 February 5, 2011 Added workaround for bug in HTMLEditorKit that prevented help pages from displaying when the applet was reloaded.
3.0.5 February 1, 2011 Changed build process to create a standalone JAR file.
Packaged Courier New font so that views are consistent across platforms.
Added audio alert to message boxes.
Replaced third party GIF encoder with built-in encoder available in Java 1.6.
3.0.4 January 13, 2010 Changed conditional connective from left-associative to right-associative.
3.0.3 October 2, 2006 Fixed the problem where the scanner would remove extraneous characters while analyzing multicharacter symbols.
3.0.2 May 19, 2006 Added -> and <-> symbols to represent conditional and biconditional, respectively.
Corrected the error where focus could be transferred to the main window even though a modal message box was present.
Added a progress bar for exporting truth tables to images.
For exporting images, moved available memory check from the time right after choosing the destination file to the time when the menu item is selected.
3.0.1 January 15, 2006 Fixed the problem in which the cursor would move to the end of the line when editing long statements.
3.0.0 January 06, 2006 Initial 3.0 release.
Redesigned application in its entirety.
2.0 February 23, 2002 Redesigned the GUI and made the partial truth table panel dynamic.
Removed usage of deprecated Thread methods.
Removed usage of sun.audio package.
Corrected code causing dialog boxes to appear minimized under Linux.
Corrected the error where nothing would happen if "Column" method was run first.
Added a parameter to set the background color of the applet.
1.20 April 12, 2001 Implemented a standard operator precedence parser that allows for better error detection.
1.14 November 9, 2000 Fixed placement of dialog boxes to keep them accessible when main window extends beyond screen boundaries.
1.13 July 15, 2000 Included ARCHIVE attribute for fast, single-stream download.
1.12 June 16, 2000 Fixed the incompatibility issue with Windows 2000 Professional.
1.11 May 31, 2000 Fixed the error that sometimes caused Netscape to improperly start the program.
1.10 January 2, 2000 Improved the GUI.
1.01 November 6, 1999 Fixed the flicker seen in the graphics by using double buffering.
1.00 July 30, 1999 Initial release.