Parse Formulas

[adolfont]

Input

• p->q
• p->(q|!r)

Output

If your representation is a tuple:

{:implies, :p, :q}

{:implies, :p, {:or, :q, {:not, :r}}}