### Form for Generating Examples of Truth Tables and Analytic Tableaux

Fill in the form below and select "Deliver Submission" when you are
finished.

## Syntax for entering formulas

A formula consists of predicate letters and logical connectives. The names
of the connectives are OR, AND, IMPLIES, NOT, and EQUIVALENCE. These can
be written out in a formula using any combination of upper and lower case
letters, but there must be at least one space between any connective and
the rest of the formula around it. Implies and equivalence can also be
entered as -> and <->

A number of symbols can also be entered as abbreviations for the connective
names. These are given below. Note that these symbols do not need space to
set them off from the predicate letters.

- AND ^(caret) &(ampersand) *(star) . (period)
- OR + (plus) | (vertical bar)
- NOT ~ (tilde) ! (exclamation point)

Standard rules of precedence apply in formulas: the order of precedence (from
highest to lowest) is NOT, AND, OR, IMPLIES, EQUIVALENCE. One may override
the preference order by using parentheses. The non-associative implies
connective associates to the right by default.

## Examples of formulas

- A and B OR C
- A -> (B -> ~C)
- (A -> B) -> C (overriding default associativity)
- (A+B)*C