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