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.
