Truth table will appear here.

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

negation~ or !
oro, v, |, or |
anda or &
if-thent 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.