Ben's LogicEvaluator (requires Internet Explorer)
Evaluates a WFF as true or false.
Define variables:
Use ~ for Negation, -> for Conditional, <-> for
Biconditional, v for Disjunction, and . for conjunction. You can even use lots of parentheses in IE.