Ben's LogicEvaluator

Evaluates a WFF as "true" or "false," like the problems in 7.2A

Define variables:



Use ~ for Negation, -> for Conditional, <-> for Biconditional, v for Disjunction, and . for conjunction. You can even use lots of parentheses in IE.