Please make sure that the symbolized logical statement you input is a well formed formula, otherwise constructing a table is impossible and an error will be returned.

The following logical operators may all be used in your symbolic statements:

Connective	Accepted symbols
Disjunction	v , | , || , or
Conjunction	& , && , + , and
Negation	~ , ! , not
Conditional	> , => , -> , implies , if...then
Biconditional	= , <=> , <-> , if and only if

Therefore, the following statements are all well formed formulas and will be correctly parsed by this tool:

[ ( A v B ) & ~C ] > ( C = D )

[ ( A or B ) and not C ] implies ( C if and only if D )

if [ ( A || B ) && !C ] then ( C <=> D )

[ ( A | B ) + not C ] -> ( C <-> D )

[ ( A or B ) && !C ] => ( C <> D )

Please take note that curved brackets, square brackets and curly brackets may be used in your statements in whatever order and in whatever combination you wish because they're all treated as parenthesis. All of the following statements are equivalent, and will all be correctly parsed by this tool:

{ [ ( A & B ) > A ] v B }

( ( ( A & B ) > A ] v B )

( { [ A & B } > A ) v B ]