HEY KIDS! IT'S THE MAGIC TRUTH TABLE GENERATOR

This code doesn't work because stanford restricts CGI scripts. You can execute it on your own web server or from the command line by downloading the source below

Enter your input below and press return:

Instructions:

The truth table generator understands:

() ~ & | -> <- <->

Any alphanumeric variable name will do. 10 variable max.

Valid Strings:

((a | b) & (b -> ~c) & b) -> ~a
((p & r) -> ~q) -> ((p & q) -> ~r)
cookies & iceCream -> (~breakfast & ~lunch & ~dinner)

If you screw up I'll let you know.

BUG #1: Please do NOT use the string "T" or "F" as part of your input - those are reserved keywords in the parser.


Here is the source. Use it if you wish. If you do, please give credit where credit is due. Keep in mind this was a six-hour hack.

Last Updated 10-10-2005