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.