| Welcome | Propositional Logic | Precedence/Order of Evaluation | Application Usage | Examples |
| Use capital letters A, B,..., Z for propositions. |
| Use 1 and 0 for true and false constants, respectively. |
| Symbols in order of precendence: |
| Parentheses: | ( ) |
| Negation: | ~, ! |
| And: | &, ^ |
| Or: | v |
| Conditional: | =>, -> |
| Biconditional / Exclusive-or: | <=>, <-> / + |
In the combobox to the right of the Statement: label, type in the statement for which you wish to construct a truth table.
When you are finished typing the statement, you can press Enter or click the Construct
truth table button to the right of the combobox. You can type a maximum of 256 characters into the
combobox. Truth Table Constructor corrects statements to fit standard form, that is, lowercase
letters (except v) are capitalized and spacing is adjusted. If the statement is syntactically incorrect,
the application will highlight the section where the first error occurs and display an appropriate message
box.
The combobox remembers the last 25 syntactically correct statements that you entered. In addition, with each keystoke,
it finds and displays the previously entered statements that begin with the characters you have just typed (similar to
the Address bar of your favorite web browser).
Truth Table Constructor supports three different methods for drawing tables: complete, row, and column. Complete is useful for those who are experienced with the process of constructing tables - people who need the results to aid in solving another problem. The other two methods, however, serve in guiding the user through the process. Row is a good choice for those checking their work one line at a time, while Column is best for basic tutoring, illustrating the order in which the connectives get evaluated.
To change the method, simply make a selection from the combobox to the right of the Method: label. Use the four buttons to the right of the combobox to move forward or backward in the computation process. The leftmost button displays no computations, that is, all rows and columns are blank. The second button takes you back to the previous state. The third button displays the next computation. Finally, the rightmost button displays all computations. Note that the buttons become disabled when their actions are meaningless. For instance, if you just pressed the button to display all computations, there is no longer a next computation. Thus, the two rightmost buttons are grayed out.
Export
Allows you to export truth tables to file. You can save the tables in text format or choose among four different graphic formats, namely BMP, GIF, JPEG, and PNG. If you are using the row or column computation method, you will export the same amount of the table that you see on the screen.
Truth Table constructor will not be able to save your truth table as an image if it cannot allocate enough memory to hold the entire image. If this is the case, you will be limited to saving in text format.Exit
Exits the application. If you are in the middle of saving a large truth table to file, a message box will ask you if you want to abort saving and exit now or if you want to return to the application to continue saving.
Graphic/Text
Allows you to switch between graphical and textual representations of the truth table. Tables with more than 1024 rows cannot be displayed in text mode but can always be exported for viewing in your favorite text editor.True/False - 0/1
Changes the format of cells in the truth table.Highlight Main Column
Displays the main column in red in a graphical truth table and puts an asterisk above the main column in a textual truth table.Show Row Numbers
Starting with 0, numbers the rows.Show Column Numbers
Starting with 1, numbers the columns in the order in which they are evaluated.Alternate row colors
Gently shades alternating rows for viewing convenience. This feature applies only to graphical truth tables.Text Size
Allows you to increase or decrease the size of the text.
Remove Unnecessary Parentheses
Removes unnecessary parentheses from a statement prior to constructing the truth table.Alphabetize Propositions
Sorts proposition names before inserting them into the left half of the truth table. If unchecked, Truth Table Constructor will list the propositions in the order in which they appear in the statement.
Contents
Displays a brief introduction to propositional logic and explains how to use Truth Table Constructor.About
Displays information about Truth Table Constructor.
Displays the evalution of the truth table, this is, whether it is a tautology, contradiction, or conditional. If you are using 0/1 output, Truth Table Constructor will use the term identity instead of tautology. The status bar also displays how many rows are in the table and how long it took for the evaluation to complete. In addition, while evaluating or saving large truth tables, the status bar displays a progress bar. This progress bar gives the user an idea about how long it will take to complete the operation and whether or not it is worth waiting for.