Type your argument into the box on the left,
including the premises and the conclusions, one per line.

For...	Use
negation	~ or !
or	o, v, |, or |
and	a or &
if-then	t or >
if and only if	= or e

Parentheses are allowed in all forms, including (), [], and {}.
Valid atomic sentences are A-Z, p, q, r, and s.