Home Apps Audio Video Reviews About Contact
 
 

TruthTable

Updated 1/29/06

5 kb TruthTable 1.2.2

Hate writing truth tables? Wish there was a program that'd do it for you? Well wish no more, here it is. TruthTable is a truth table generator that does the dirty work for you. This program handles the following operations:
Not, And, Or, XOR, Implication, and the Biconditional.

It follows correct logical precedence (not, and, or, xor, ->, <->) and handles parenthesis like a pro.

To run it you'll need Java installed and a command prompt. Here's an example of its usage:

[prompt]% java -jar TruthTable.jar
TruthTable version: 1.2.0

Hello and welcome to Greg's Truth Table generator!
Very little error checking has been built into this so
do try to follow these simple conventions:

-----------------------------------------------------
AND: ^ OR: v NOT: ! XOR: x
Implication: -> Biconditional: <->

The following letters are not allowed as variables:
x v i d
You may use the uppercase versions
-----------------------------------------------------

Enter the single-character variables you will use
separated by spaces or press return to quit:
> p q r

Now enter your propositions one at a time
Press the return key to print the table:
> p ^ q -> r
> p v q <-> r
>

----------------------------------
p q r | p ^ q -> r | p v q <-> r
----------------------------------
T T T |      T     |      T
T T F |      F     |      F
T F T |      T     |      T
T F F |      T     |      F
F T T |      T     |      T
F T F |      T     |      F
F F T |      T     |      F
F F F |      T     |      T
----------------------------------

Enter the single-character variables you will use
separated by spaces or press return to quit:
>
[prompt]%

If you prefer TruthTable outputs to a file then provide a file as an argument like this:

[prompt]% java -jar TruthTable.jar -f filename.txt

The source code is available here.

Disclaimer: This software is provided "as is" without any warranty and the author is not responsible for anything resulting from its use.

Copyright © 2003-2005 Kinostudios.com