Parse Formulas #3
Description
Input
- p->q
- p->(q|!r)
Output
If your representation is a tuple:
{:implies, :p, :q}{:implies, :p, {:or, :q, {:not, :r}}}{{ message }}
If your representation is a tuple:
{:implies, :p, :q}{:implies, :p, {:or, :q, {:not, :r}}}