Truth Table Generator

Acceptable symbols: A-Z (variable names), ~ (negation), & (conjunction), v (disjunction), -> (implication), <-> (double implication), ( ) (grouping)

In the output: T = True and F = False.

Alex Leutenegger 2011 Source